第 2026-10-27 期 · 社区音量

Yuchen Jin @Yuchenj_UW

2023年:GPT-4几乎解决了小学数学 2024年:IMO银牌 2025年:IMO金牌 2026年5月:Erdős单位距离猜想 2026年9月:Navier–Stokes千禧年大奖难题被解决 2026年10月:722篇AI撰写的数学手稿 今天:OpenAI证明ETH为假 明天:P = NP?

X5 天前
查看原文 ↗