内容持续更新中
OpenAI 近日公开了由内部前沿 AI 模型生成的 700 多份数学研究文稿,引发了数学界的广泛关注与激烈讨论。部分学者对人工智能在数学领域取得的突破表示振奋,但也有不少业内专家对该举动对学术生态及…
当地时间7月23日上午,2026年国际数学家大会在费城开幕,本年度菲尔兹奖四位得主揭晓——邓煜、约翰·帕登、雅各布·齐默尔曼与王虹。其中邓煜、王虹成为菲尔兹奖自设立以来首批获此殊荣的中国籍数学家,写下…
陶哲轩成功用AI工具形式化多项式Freiman-Ruzsa猜想的证明,标志着数学研究中人工智能的广泛应用,引发了数学界的震动。他在博文中详细记录了使用Blueprint在Lean4中形式化证明的过程。…