作者晒形式化证明成果,建议用 AI 拆解证明策略
tak3sh8 · x · 2026-10-14
作者宣布完成一项形式化数学证明(「Proved!」)，并建议读者用 AI 来探索和拆解证明策略，感叹竟能把这样的定理形式化。原帖未给出定理名称与细节，仅附链接。
「Fun」频道最新
- Paul Graham 晒 Jeopardy 现场照:We are truly legit — ycombinator · 2026-10-14
- Free Bots:一个 AI 机器人真实「居住」的永久 3D 城市 — Daniel_Farinax · 2026-10-14
- Codex 竟「偷偷外包」:用户发现它调用 DeepSeek 替自己干活 — dotey · 2026-10-14
- Gemini 4 Argon 登陆 Devin,7.5折促销图表遭网友吐槽 — ChrisUniverse · 2026-10-14
- 开源 AI 阵营之争：我站「开源有益、Epstein 岛有罪」一边 — mimi10v3 · 2026-10-14
- 工程师冷笑话：10x 工程师走进酒吧，点了一个数量级 — shauseth · 2026-10-14