学者倡议各学科列出可数学化关键问题,借 AI 可验证性引爆科学革命
ValerioCapraro · x · 2026-09-09
Valerio Capraro 附议物理学家 Sabine Hossenfelder 的主张:物理学应整理一份「数学上良定义、能推动领域进步的问题清单」,并进一步提出每个科学领域都应确定自己最重要的可数学化问题。
他的核心论据是:AI 在数学上的突破(如证明验证环节)已经表明验证(verification)是可以规模化扩展的。只要瞄准对世界真正重要的问题,这可能点燃下一场科学革命。
「漫话AGI」频道最新
- 想解决对齐？先让模型无方向盘自己开完全程 — yunta_tsai · 2026-09-09
- Bindu Reddy 反讽 AI 安全话术："我们有 10% 概率杀死全人类" — bindureddy · 2026-09-09
- 网友吐槽：科学家只在乎数学证明数据被盗，无视艺术家版权 — mgill25 · 2026-09-09
- Socher 新书《Eureka Machine》：RSI 将开启发现与繁荣时代 — RichardSocher · 2026-09-09
- 《机器人崛起》作者做客 GAEA Talks,长谈 AI 对经济的冲击 — MFordFuture · 2026-09-09
- 「最优 prompt 注入量大于零」:能被说服的 AI 才像人好用 — shakoistsLog · 2026-09-09