他用提示词先定义什么才算真正证明
FinanceYF5 · x · 2026-07-26
第二个关键是提示词构造。
他使用了一种受 OpenAI 解决 cycle double cover conjecture 时提示词启发的模板，核心是先把“什么才算真正解决这个问题”定义清楚。
所属事件:AI攻克数学难题的秘诀：精准选题与提示词构造(2 条相关)→
「编程与Agent」频道最新
- CREAO 7 月 30 日办 AI 落地圆桌，聚焦从 demo 到生产 — thetripathi58 · 2026-07-26
- 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