LLM 已能做前沿数学反证

ctjlewis · x · 2026-07-20

LLM 似乎已经能做一些前沿数学里的反证任务。

帖子进一步追问：从“证明不成立”到真正的证明，再到构造性证明，模型还要跨过多大的能力台阶。

原文链接 →

「模型」频道最新

• 3 张二手 V100 跑 Qwen 近 400 tokens/秒 — jfinkpottery · 2026-10-27
• Muse Spark 1.3 安全报告:CoT 可控性评估首次对标四大厂商 — tomekkorbak · 2026-10-27
• 非英语用户多付「分词器税」：同样任务 AI 报价更贵 — postalex · 2026-10-27
• Meta Muse Spark 1.3 系统卡采用图宾根 4 项评测基准 — maksym_andr · 2026-10-27
• ChatGPT Pro 500 套餐曝光：月费 445 英镑，周额度已用 91% — yoimnotkesku · 2026-10-27
• 学者争论：现行 LLM 远超 GPT-4，但期刊审稿延迟挡住了新模型 — DeryaTR_ · 2026-10-27

更多「模型」频道 AI 资讯 →