AI 数学研究进展引发工程可解性猜想

2026 年 10 月 6 日，据 AGI Hunt 报道，AI 数学科研出现被形容为「几乎难以置信」的进展后，Afinetheorem 提出一个猜想：我们将很快搞清现实世界的工程问题中有多少存在数学解。报道称，电池、量子等领域的许多问题原则上属于这一集合，但他不确定最终答案是多是少。同一批资讯中还提到，韩国拟投入 35 亿美元打造主权前沿模型；另有观点认为，AI 与以往自动化的不同之处在于「在自动化自动化本身」。

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

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