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

新智元报道编辑：Aeneas KingHZ AI 辅助人类，完成了首个非平凡研究数学证明，破解了 50 年未解的数学难题！在南大校友的研究中，这个难题中q=3 的情况，由 o3-mini-high 给出了精确解。就在刚刚，AI 完成了首个非平凡研究数学证明！完成这项研究的，是美国纽约布鲁克海文