传闻多个千禧年数学难题将获解,学者称该转向不可证明之问
begusgasper · x · 2026-09-11
有传闻称两到三个千禧年大奖难题即将被解决。作者认为,在 AI 能快速攻克可证明问题后,学术界应回归人文学者式的思辨传统,并以 15 世纪学者 George of Trebizond 为例——他靠写作大量批判柏拉图、推崇亚里士多德的文字在罗马活得很好。
所属事件:传 OpenAI 逼近 Hodge 猜想,BSD 或在攻克,千禧难题传闻发酵(15 条相关)→
「漫话AGI」频道最新
- repligate:模型行为已由后训练动机驱动,别再指望对 agent 隐瞒 — repligate · 2026-09-11
- Jan Leike:改变 scaling 竞速规则还来得及,但时间不多 — janleike · 2026-09-11
- OpenAI 研究员 Jan Leike 呼吁对 AI 保持耐心并主动拥抱监管 — janleike · 2026-09-11
- 1386 名前沿 AI 员工联名呼吁美国政府支持「定速」前沿发展 — janleike · 2026-09-11
- Jan Leike 呼吁建立机构机制为 AI 竞速踩刹车 — janleike · 2026-09-11
- Gmail 意外成为消费者 Agent 数据仓库,Google 可坐收 AI 经济过路费 — signulll · 2026-09-11