数学家 nasqret 称 AI 已呈「弱 AGI」形态并成为数学研究日常工具

数学家 nasqret 认为，AI 已呈现「弱 AGI」形态，正日益成为数学研究中的日常工具。AI 可帮助形式化重大项目，并在几乎任何数学分支提供技术支持，用于探索、验证和创意启发。尽管多数问题仍不可解，部分文献问题可借助 auto-research、精心搭建的 harness 和大量 token 攻克。