本文為機器翻譯
展示原文
你可能想知道 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相關的任何投資建議。
喜歡
收藏
評論
分享
