仓库里已经放出证明、提示词和 Lean 形式化
FinanceYF5 · x · 2026-07-26
他已经把材料发布在仓库里。
仓库包含每个问题的证明 PDF、LaTeX 源文件和对应提示词。部分问题还附带用于计算实验的 Python 文件，其中两个问题已经有 Lean 形式化证明，其余仍在进行中。
所属事件:AI数学研究循环：自我质疑直至证明无漏洞(2 条相关)→
「编程与Agent」频道最新
- AI Agent 通关《Slay the Spire 2》Ascension 8 并开源轨迹 — bdsqlsz · 2026-07-26
- MemGym 为 LLM 智能体做长程记忆评测，覆盖编码和网页任务 — dhruv2038 · 2026-07-26
- 开发者称每月 5 美元可跑出 339.8 小时 agent 算力 — aniketmaurya · 2026-07-26
- 这个循环让模型不断自我质疑直到证明无漏洞 — FinanceYF5 · 2026-07-26
- Codex 有些数学题跑了 32 小时才出答案 — FinanceYF5 · 2026-07-26
- 这套流程会并行保留多条证明路线 — FinanceYF5 · 2026-07-26