陶哲轩认为黎曼猜想仍需人机协作,或要到 2050 年才解决
basedjensen · x · 2026-10-16
转引对陶哲轩观点的评论:这位数学家似乎仍在潜意识里认为,证明黎曼猜想(RH)将是一个「人类+AI」协作的工程,可能要到 2050 年前后才能成功。评论者则认为,从当前 AI 进展速度看,到本十年末 AI 就有可能独立完成这类工作,但也承认自己可能判断错误。
「漫话AGI」频道最新
- OpenAI 内部模型展现出数学「研究品味」,专家称突破超出已有文献 — cong_ml · 2026-10-16
- willcb:AI 的终点恐怕只是「更快的芯片化人类推理」 — willcb · 2026-10-16
- AI对齐研究者的通病:高功能人群缺乏试错经验 — teortaxesTex · 2026-10-16
- AI 圈热传"计算机语言天花板"古书图表,机器语言演化突破人类极限 — repligate · 2026-10-16
- 影视剧假道具悄悄变严谨:随手问 AI 就能生成正确的美政府表单格式 — mike64_t · 2026-10-16
- AI 圈激辩:近六年读 PhD 竟成「判断力差」的信号? — repligate · 2026-10-16