AI 数学能力的边界:已开发邻域可验证,上游概念构建仍未知
_onionesque · x · 2026-10-07
线程收尾:在这类情况下,已开发的 eps 邻域既是矿藏,也提供了通往可验证性的路径。但对于上游的概念开发本身,不清楚仅靠 AI 会是什么样子。作者表示很好奇 AI 能否攻击那些重要但相对孤立的问题。
所属事件:数学是AI可露天开采的富矿：概念基建成熟处AI可碾过去(7 条相关)→
「漫话AGI」频道最新
- 华为预测 2035 年全球活跃 AI Agent 达 9000 亿,经济学家算出潜在经济账 — robleclerc · 2026-10-07
- 欧洲 AI 短板不止模型：算力基建跟不上数月一代的迭代节奏 — ingliguori · 2026-10-07
- 《大空头》原型投资人 Eisman 解读 AI 泡沫将如何破裂 — 233C · 2026-10-07
- 大学教授吐槽高校强制推行AI作业,学生只想安静读书 — Tyler_A_Harper · 2026-10-07
- 如果 AI 足以毁灭文明，它是否也足以保护文明？ — scottimous · 2026-10-07
- 研究「重新定义问题」的智能,米兰四校团队获 100 万欧元资助 — ValerioCapraro · 2026-10-07