陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
数学历来是一门孤独的科学。
1986 年，安德鲁·怀尔斯（Andrew Wiles）为了证明费马大定理，遁入书斋长达七年之久。
16
0
2025-09-05
o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间
o3来了！编程跻身人类全球前200，破解陶哲轩说难的数学测试，北大校友任泓宇现身直播间
OpenAI公布下一代模型，o1之后直接o3！
“双12”直播活动最后一天，终于来了个大的，奥特曼本人也再次现身直播间。
20
0
2025-09-01
