AI 数学研究引发猜想：现实工程问题里有多少存在数学解？

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