Student of Yau Shing-Tung Uses AI to Write 4.7M Lines, Machine Fully Verifies Poincaré Conjecture Proof
What happened
丘成桐的一个学生带队，用AI生成了470万行代码，第一次让机器完整验证了庞加莱猜想的证明。470万行这个数字说明工作量巨大，但正文没披露用了什么模型、具体方法、验证花了多久——因为页面环境异常，只拿到了标题和摘要。如果验证真的跑通了，意味着AI能处理顶级数学问题的完整逻辑链，不只是算算数。这点先别太激动，等更多细节出来再判断。
Coverage
Follow the reports to see the story from different sides.
- Xinzhiyuan · WeChatStudent of Yau Shing-Tung Uses AI to Write 4.7M Lines, Machine Fully Verifies Poincaré Conjecture Proof
A student of Shing-Tung Yau led a team that used AI to generate 4.7 million lines of code, achieving the first complete machine verification of the Poincaré conjecture proof. This matters because it shows AI can handle the full logical chain of a top-tier math problem, not just assist with calculations. The post does not disclose the specific method, model used, or verification timeline due to an environment error; only the 4.7M lines and the Poincaré conjecture are confirmed.
Heat over time
Not enough continuous observations to draw a trend yet.