Dan Abramov

AI 大模型数学

How I Vibed a Proof of Conway’s Conjecture — overreacted 的题图

不懂数学的人，用约 40 亿 token 证出了 Conway 五十年前的猜想

你显然可以直接证明事情。

overreacted.ioDan Abramov

2026年9月19日

Sitemap llms.txt hi@aigeeknews.com© 2026 AI 极客新闻