《量子杂志》梳理了erdosproblems.com——一个收录保罗·Erdős留下的1200多个问题的业余目录——如何变成AI实验室检验其'机器数学家'的竞技场。OpenAI的模型5月攻克了悬置80年的单位距离问题,8月1日又解决了三个Erdős问题;Google DeepMind解决了四个问题、找回九个被遗忘的解法,并在353个形式化表述的问题中完全自主解决了9个。该网站目前统计565题已解、652题未解,而Erdős问题集中在数论和组合数学——恰是语言模型最强的领域。
✓ 已核实 · 2个来源