AI 辅助数学研究：让模型提出猜想并求解的新尝试
jachiam0 · x · 2026-08-01
研究者分享了使用大模型辅助数学研究的新体验。通过特定的提示词方法，让 AI 自主寻找数学猜想并尝试求解，并感叹在提出新猜想前，或许都应该先让模型跑一遍测试。
「漫话AGI」频道最新
- 前夜：为何 RSI 降临后「AI 竞赛」将彻底失去意义？ — MWCvitkovic · 2026-08-01
- AI时代组织新设想：员工用vibe coding自建应用，工程团队专注核心功能 — tobowers · 2026-08-01
- AI顾问反思：Human-in-the-loop往往意味着自动化还没做好 — Warm-Reaction-456 · 2026-08-01
- 即使LLM有意识，它的文字也无法真实表达其体验 — D2MAH · 2026-08-01
- 大模型为何爱造新词？推友称 AI 正在创造更致密的语言 — GabGarrett · 2026-08-01
- 深度思考:当 AI 不再对人类说“人话” — johnseach · 2026-08-01