AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞
08月04日 0评
均为 10 年以上未解难题：OpenAI 公布下一代模型 Astra 在数学等领域的十项进展，Token 成本约 2000 美元
08月01日 0评
菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考
07月24日 0评
加州大学教授呼吁校方恢复标准化入学考试：新生数学仅有初中水平
06月04日 0评
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
陶哲轩称 AI 影响数学教学，学生每周作业首当其冲
03月12日 0评
2025「数学界诺奖」阿贝尔奖公布：78 岁日本数学巨匠重塑对称理论摘桂冠
2025.03.27 0评
超越国际数学奥林匹克金牌得主：谷歌 DeepMind AI 系统展现超强几何解题能力
2025.02.08 0评
银牌组最高分，谷歌 DeepMind 捅破 AI 数学推理上限：6 道国际奥数题解出 4 道
2024.07.26 0评
1230 亿参数，Mistral 发布 Large 2 旗舰 AI 模型：支持 80 多种编程语言，增强代码生成、数学和推理能力
2024.07.25 0评
为啥动物的花纹奇奇怪怪？这事得问问数学家
2024.07.06 0评
每个人的脑袋都擅长数学吗？学不明白是咋回事？
2024.06.09 0评
声称“媲美人类专家”，谷歌 Gemini 1.5 Pro 数学版“提智”：MATH 基准准确率 91.1%
2024.05.21 0评
原来，偷偷做着“计算”的大自然会钟爱斐波那契数列
2024.05.18 0评
2023 年图灵奖揭晓！普林斯顿数学教授成史上首位阿贝尔奖双料获奖者
2024.04.10 0评
AI 攻克费马大定理？数学家放弃 5 年职业生涯，将 100 页证明变代码
2024.04.09 0评
搞 AI，孩子必须学好数学：马斯克 Altman 罕见达成一致，LeCun / Jeff Dean 等 31 位大佬签署联名信
2024.03.07 0评
一位破译了二战德国密码的数学天才，他带走了秘诀
2024.03.02 0评
几何简史 —— 带你回顾让你又爱又恨的几何
2024.01.13 0评
AI 首次攻克难倒陶哲轩数学难题：DeepMind 里程碑算法登上 Nature，LLM 实现搜代码自我进化
2023.12.15 0评
