陶哲轩预言数学百年新危机：AI能不断生成数学证明，但人类根本没时间验证和理解

2026-08-05 04:12:20 量子位 北京 举报
0
分享至

点击按住拖动小窗

关闭
热门视频

男子上山采菌偶然发现鸡枞菌窝，原地守1天等它长大：挖了140多朵

 重播
量子位的头像
incentive-icons
量子位
17.7万粉丝 追踪人工智能动态
AI最可怕的副作用：削弱人的判断力，变得“愚蠢且自信” 01:56 AI最可怕的副作用：削弱人的判断力，变得“愚蠢且自信”
一家数据公司，凭啥比AI公司还值钱？估值飙至1880亿美元 02:14 一家数据公司，凭啥比AI公司还值钱？估值飙至1880亿美元
差点拿到菲尔兹奖的他，现在是AI最严厉的数学老师——埃尔德什 09:26 差点拿到菲尔兹奖的他，现在是AI最严厉的数学老师——埃尔德什
舌头也能当鼠标？MIT做了个触控板，让瘫痪患者终于用上手机 01:43 舌头也能当鼠标？MIT做了个触控板，让瘫痪患者终于用上手机
Claude实用指南持续上新！汇集全网最佳Agent工程实践 01:35 Claude实用指南持续上新！汇集全网最佳Agent工程实践
AI还没抢程序员的饭碗 但正在创飞应届生 01:53 AI还没抢程序员的饭碗 但正在创飞应届生
机器人上门保洁火了，200元一小时，纯·人工·智能，由人类操作员远程操控完成 01:30 机器人上门保洁火了，200元一小时，纯·人工·智能，由人类操作员远程操控完成
一片干掉的咖啡渍，是怎么影响芯片制造的？ 11:20 一片干掉的咖啡渍，是怎么影响芯片制造的？
用ChatCut剪了一周片子，剪辑师真的要失业了吗？ 06:20 用ChatCut剪了一周片子，剪辑师真的要失业了吗？
网易新闻 iOS Android

猜你喜欢

今日推荐

热门视频

合作媒体 网易公开课 网易科技 网易教育 网易时尚 网易亲子
© 1997-2026 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版