新关注 > 信息聚合 > 刚刚,AI破解50年未解数学难题!南大校友用OpenAI模型完成首个非平凡数学证明

刚刚,AI破解50年未解数学难题!南大校友用OpenAI模型完成首个非平凡数学证明

2025-04-14 00:00:00来源: 创事记

就在刚刚,AI完成了首个非平凡研究数学证明!完成这项研究的,是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部的一位华人学者Weiguo Yin。 论文地址:https://arxiv.org/abs/2503.23758 在这项研究中,作者在一维J_1-J_2 q态Potts模型,通过引入最大对称子空间(MSS)方法,对其精确求解。具体来说,作者将q^2×q^2的传递矩阵进行块对角化。而q=3的情况,正是基于OpenAI的最新推理模型o3-mini-high来精确求解的。在AI的帮助下,研究者成功证明,模型可以映射为一维q态Potts模型,其中J_2作为最近邻相互作用,J_1则作为有效的磁场,这一结果扩展了之前在q=2,即Ising模型的证明。注意,这个问题,在数学界有50年没有解决。论文引用了关于J_1−J_2伊辛模型(即q=2的Potts模型)的工作,这些工作可以追溯到1969年和1970年。而o3-mini-hig