理论计算机学者自嘲：一年前质疑 LLM 证明猜想，如今已被打脸
burny_tech · x · 2026-09-20
康奈尔教授 Amin Karbasi 与友人挑战当前最先进的 AI 定理证明器。他同时回顾：恰好一年前他们写过一篇论文，质疑大模型能否解决简单的猜想——'这篇论文没跟上时代，而这太棒了'。他表示我们已远超当年提出该问题的世界，'未来比我们预想来得更早'。
所属事件:教授自嘲一年前质疑LLM解猜想论文已被打脸(2 条相关)→
「研究」频道最新
- 邓云天开源 0.6B PII 脱敏器:英文规格编译成神经程序,CPU 本地可跑 — yuntiandeng · 2026-09-20
- RTX 5090 上跑 Qwen 27B 直播攻开放数学难题,目标 41 组 — GuiltyBookkeeper4849 · 2026-09-20
- TabPFN-3.5 技术报告发布,刷新表格预测基准 SOTA — burny_tech · 2026-09-20
- 滑铁卢开源 ProgramAsWeights:英文描述编译成本地可跑神经程序 — yuntiandeng · 2026-09-20
- LangChain 推出 Jev 评测器：打分方差低 92-913 倍，成本仅 0.34 美元 — LangChain · 2026-09-20
- 自然语言逻辑解释器开源:Jev 负责统一,Claude 做前置转换 — narphorium · 2026-09-20