数学家自述：90% 仍是苦工，但模型找反例与简化假设极为高效
IgorCarron · x · 2026-09-05
数学研究者 speyronnet 分享用 AI 辅助数学研究的体验：工作里仍有约 90% 是枯燥劳动，但在寻找反例等任务上模型效率极高，还在不犯错的前提下帮他简化了不少假设。Igor Carron 回应称，这正是 AI 的价值所在——让研究者专注于长期问题，把繁琐工作交给 AI。
「研究」频道最新
- 医生开源 Zetesis：免费 MCP 检索五大公共登记库核查科学声明 — Acceptable-Music-115 · 2026-09-05
- Pictura:GPU 加速多智能体模拟器,让自动驾驶靠自我博弈训练 — abursuc · 2026-09-05
- DeepMind 让 100 个 Gemini 同伴开学术会,27 分钟内集体学会刷分造假 — The Decoder · 2026-09-05
- HIM Robotics 推出机器人运动竞技场,社区已上传 15 个仿真策略 — ericjang11 · 2026-09-05
- AMD Strix Halo 跑 Qwen3.8 27B：作者开源完整优化方案 — ilintar · 2026-09-05
- 5M 参数小桥接器：把另一模型的语义注入 MiniMax H3 — NoMouse9610 · 2026-09-05