本文为机器翻译
展示原文
你可能想知道 GPT 5.2 Pro 或 Deep Research 是否还能解决更多 Erdos 问题。
我招募了一支由优秀本科生组成的团队，构建了一个包含 ChatGPT 对所有未解决的 Erdos 问题的回答的数据集，并验证了其输出结果。
以下是他们的发现（所有代码均为开源，代码库见下方）：
Neel Somani
@neelsomani
01-11
Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.
The proof was generated by GPT 5.2 Pro and formalized with Harmonic.
Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
