已收录文章摘要,完整内容可前往原文阅读。
近一个月以来,AI 正逐步探入数学研究的腹地。10 月 6 日,OpenAI 在代码托管平台 GitHub 上一次性公开了 722 份由内部模型生成的数学手稿,涉及数百个开放问题;10 月 26 日