AI 行业资讯 - 同济大学

同济学者陈小杨谈AI与数学：擅长构造反例，大猜想证明仍需新工具

陈小杨就AI在数学领域的作用发表观点，认为大猜想的证明需要突破现有工具，这是AI尚未具备的能力；而构造反例本质上是一场极其复杂的搜索，恰好发挥了AI擅长海量计算与自我迭代的优势。