AI攻克数学难题，开放式科学成下一关

AI已经能够证明表述完备、且有大量既有工作可依托的知名数学难题，证明能力正从封闭题型迈向更复杂的科研问题。报道认为，下一阶段挑战是开放式科学问题，例如调和广义相对论与量子力学；目前的主要瓶颈更多在实验验证一侧，而非理论推导。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。