人物
Peter Scholze
德国波恩大学数学家，菲尔兹奖得主，算术代数几何领域的领军人物，对AI宣称解决数学难题持批评态度。
时间轴 (近 90 天)
10月12日
波恩大学的菲尔兹奖得主 Peter Scholze 认为 AI 解决困难的数学问题只是作为基准测试，是某种公关噱头。
待验证50%
8月4日
Peter Scholze's Liquid Tensor Experiment verified a key theorem in condensed mathematics through Lean
待验证85%