AI科研智能体证明1974年化学反应网络猜想
热点事件持续更新
AI科研智能体证明1974年化学反应网络猜想
1 篇报道1 个报道来源20 小时前更新
先了解这件事
AI 综述
BitMiracle AI Lab 发布论文称，其科研智能体 ClawsGO Science 用 11 天证明了化学家 Fritz Horn 于 1974 年提出的化学反应网络猜想，即满足细致平衡的一类情形下可逆反应最终达到平衡，证明写成 83 个 Lean 文件公开。 严格地说，论文证明的是该猜想中满足细致平衡的一类情形，第一步借助了已有定理；从那里到终点的整条证明链都通过了机器检查。该研究在 ClawsGO Science 内测期间完成。
AI 根据报道生成 · 3 小时前更新
最新进展10月27日 16:30
BitMiracle AI Lab 的科研智能体 ClawsGO Science 用 AI 证明 1974 年化学猜想并正式上线报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- 新智元精选BitMiracle AI Lab 的科研智能体 ClawsGO Science 用 AI 证明 1974 年化学猜想并正式上线
BitMiracle AI Lab 发布论文称，其科研智能体 ClawsGO Science 由 Claude Opus 5.5 做决策、136 个 GPT6 Astra 执行、Lean 内核逐步检查，用 11 天证明了化学家 Fritz Horn 于 1974 年提出的化学反应网络猜想，即满足细致平衡的一类情形下可逆反应最终达到平衡，证明写成 83 个 Lean 文件公开。
本事件热度走势
- 可比范围当前
- 6
- 可比范围峰值
- 610月28日 10:00
- 近 24 小时变化
- –
0246
10:0011:0012:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。