著名数学家陶哲轩近日在其博客中分享了如何借助现代“编程代理”类AI工具，以极高效率完成了一系列数学可视化小程序的更新与创建工作。他将自己早在1999年用Java 1.0编写的复分析和线性代数教学小程序，通过AI辅助成功...

近日，数学界迎来一项里程碑式进展：著名数学家陶哲轩在其社交账户上宣布，埃尔德什问题#728在人工智能工具的辅助下首次被基本自主地解决。这一突破性成果并非简单复现已有文献，而是在埃尔德什问题网站社区重构问题...