-
陶哲轩:AI 证明日益充裕,数学仍要培养人的理解
10 月 17 日消息,在 Numberphile 于 10 月 15 日发布的采访中,陶哲轩谈到 AI 批量产出数学证明后的变化:数学正走出依靠个人英雄攻关的浪漫时代,证明的数量增长,人类消化、解释成果的速度却跟不上。 陶哲轩并不否认机器的创造力。他读过这批成果中的约十篇论文,有些是已有研究的延伸,一两篇包含巧妙的新思路,也有大量内容尚难理解,部分结果已因错误撤回。他批评集中发布前缺少与相关研究…- 3.8k
-
陶哲轩等 25 位菲尔兹奖得主联名发文:警惕 AI 将数学难题异化为评测基准
9 月 13 日消息,陶哲轩、彼得·舒尔茨、雨果·迪米尼科潘、玛丽娜·维亚佐夫斯卡等 25 位菲尔兹奖得主昨日共同发表声明,并由陶哲轩牵头联合发表《数学领域中 AI 的严重目标错位》一文,警示 AI 公司将攻克著名数学难题作为模型能力衡量基准的做法,可能对数学研究与学术共同体带来破坏性影响。 声明指出,大语言模型近期在解决多个数学开放问题上取得快速进展,但 AI 公司的目标与数学界的核心诉求存在脱…- 4.6k
-
陶哲轩点赞,GPT-5.2 Pro 再次破解公开数学难题
1 月 19 日消息,日前,区块链软件开发公司 Eclipse 创始人 Neel Somani 在 X 发文称,其使用 OpenAI 最新模型 GPT-5.2 Pro 破解了另一项著名的 Erdős(埃尔德什)数学难题。 随后数学家陶哲轩(Terence Tao)确认,该模型在至少一个 Erdős 问题上几乎独立完成了解答过程,并评价这是「AI 解决开放问题的最明确案例」之一。 Op…- 7.7k
数学
❯
搜索
扫码打开当前页
返回顶部
幸运之星正在降临...
点击领取今天的签到奖励!
恭喜!您今天获得了{{mission.data.mission.credit}}积分
我的优惠劵
-
¥优惠劵使用时效:无法使用使用时效:
之前
使用时效:永久有效优惠劵ID:×
没有优惠劵可用!


