Yuchenj_UW· @Yuchenj_UW · X·· 18 小时前AI 评分
OpenAI 证伪 ETH
2023：GPT-4 几乎解决了小学数学 2024：IMO 银牌 2025：IMO 金牌 2026 年 5 月：Erdős 单位距离猜想 2026 年 9 月：Navier–Stokes 千禧年大奖难题已解决 2026 年 10 月：722 篇 AI 撰写的数学手稿 今天：OpenAI 证明 ETH 为假 明天：P = NP？
2023年：GPT-4几乎解决了小学数学
2024年：国际数学奥林匹克银牌
2025年：国际数学奥林匹克金牌
2026年5月：解决厄尔多什单位距离猜想
2026年9月：解决纳维–斯托克斯千禧年大奖难题
2026年10月：722篇由人工智能撰写的数学手稿
今天：OpenAI证明ETH猜想为假
明天：P = NP？
来源：Yuchenj_UW · x.com