AITNT · AI头条（网页）·2026-10-28 10:12· 7 小时前AI 评分70

BitMiracle AI Lab 结合多智能体与 Lean 证明 1974 年化学平衡猜想

突发！Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克

AI 导读

BitMiracle AI Lab 发布 23 页研究论文，利用科研智能体系统在 11 天内完成了 1974 年 Fritz Horn 提出的化学反应网络平衡猜想中细致平衡情形的形式化证明。