推文

@ai_fengshou · 2026-10-12 18:35

AI 数学从"做题"进化到"开题"了 DeepMind 的 AlphaProof Nexus 独立解出 9 道公开 Erdős 难题 其中 2 道数学家啃了 56 年没啃动 还发了 Science，同行评审过的 有意思的是 OpenAI 同期把几百份 AI 证明直接扔 GitHub 了——陶哲轩那边已经喊抵制 https://the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed/

曝光 79 · 评论 2 · 点赞 0 · 书签 0 · 曝光/时 39.668400206608894