顶级数学家日常助手

最近数学圈发生了的事

世界顶级数学家陶哲轩在解决一个 Erdos（埃尔德什）的经典问题时，

全流程都在用 AI 做助手——从证明草案，到简化证明，再到形式化验证。