热门观察：可验证领域都会步数学后尘，难在不可验证领域
charlieharris01 · x · 2026-10-07
博主 rowlsmanthorpe 提出：随着 AI 展示在数学上取得成果，可以假设所有「可验证」的领域最终都会走上数学的路——因为答案对错可以被机械检验，AI 可以快速迭代。真正悬而未决的世界级问题是，那些缺乏明确验证标准的「不可验证」领域会不会也跟进。charlieharris01 转发表示认同。
「漫话AGI」频道最新
- OpenAI 一天产出 722 篇数学论文,判断哪些工作先被 AI 自动化 — ziv_ravid · 2026-10-07
- 数学博士生的自嘲：挥镰刀对抗百万台自动驾驶收割机 — FlorianGallwitz · 2026-10-07
- 开发者观察:人机产出正退化为 agent 之间的数据包 — aloncarmel · 2026-10-07
- 诺奖得主 Acemoglu：让 100 人提效 5% 比裁掉 5% 划算得多 — cen6wkf · 2026-10-07
- NYT 特稿：从滴滴司机到 DoorDash，被算法与 AI 未来收割的普遍感受 — S_OhEigeartaigh · 2026-10-07
- Scott Alexander 回应 Pinker：谁预测 AI 更准一目了然 — deanwball · 2026-10-07