Ai数学证明
科学生命科学
数学爱好者借助AI成功证明康威50年前的细化猜想
一位数学新手通过使用Claude和ChatGPT等AI模型，结合Lean形式化验证工具，成功证明了John Conway在1976年提出的细化猜想。该猜想声称，若两组整数的乘积相等（即ab=cd），则必然存在四个整数e、f、g、h，使得a=ef、b=gh、c=eg、d=fh。这是康威关于超现实数最后一个未解决的猜想。
科技人工智能
菲尔兹奖得主预警：AI可能杀死数学
多位顶级数学家对人工智能在数学领域的快速进展表达了深切担忧。菲尔兹奖得主Jacob Tsimerman宣布加入OpenAI从事AI安全研究，他表示"2年之内，AI将在所有数学证明领域，彻底超越人类"。另一位菲尔兹奖得主陶哲轩指出，"我相信我们正在进入一个动荡的时期——一个数学价值观与实践基础遭遇危机的时期"。
科技人工智能
人工智能数学家正在超越人类数学家的反例发现能力
在2026年5月至7月的短短三个月间，多个大型语言模型在数学领域取得了突破性进展，通过发现反例推翻了多个困扰数学界多年的重大猜想。