Talia Ringer:十年被嘲无用，证明助手终迎普及
danbri · x · 2026-10-23
转发形式化学家 Talia Ringer 的感慨：过去十多年里，无数人告诉她证明助手（proof assistants）永远不可能被广泛使用，她的研究因此没用。她借此告诫研究者：不要因为一个领域难做就否定整个方向，这反而是继续研究的动力。
「漫话AGI」频道最新
- 单细胞动力学模型 DynaVelo 发表于 Nature Biotechnology — anshulkundaje · 2026-10-23
- e/acc 领袖 Beff Jezos:前沿实验室加速开源才能守住网络安全 — beffjezos · 2026-10-23
- AGI 时代一切皆无意义？一位 Reddit 用户坦言不愿活在那种未来 — peace_venerable · 2026-10-23
- 三步死循环：AI 造问题，再卖 AI 解决问题 — srimisra · 2026-10-23
- EPFL 数学家:AI 证明定理时代,人类理解力价值何在 — snikolov · 2026-10-23
- 调查称约 30% ChatGPT 用户若输出带水印就会减少使用 — PairNaive8654 · 2026-10-23