人工智能 陶哲轩12年前的预言,如今AI帮他兑现了 菲尔兹奖得主陶哲轩12年前预言计算机将自动验证数学证明、形式化语言取代LaTeX。如今,他借助AI和Lean工具亲自实践,证明了大规模协作数学的可行性。
人工智能 谷歌推出“AI联合数学家”:刷新高难数学基准,并参与破解群论难题 谷歌DeepMind发布AI Co-Mathematician,定位为面向数学研究的人机协作系统,在FrontierMath Tier 4取得48%成绩。