nasqret称AI已呈弱AGI形态并用于数学研究
热点事件持续更新
nasqret称AI已呈弱AGI形态并用于数学研究
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
数学家 nasqret 认为，AI 已呈现“弱 AGI”形态，并日益成为数学研究的日常工具，可协助形式化重大项目，在几乎所有数学分支提供技术支持，用于探索、验证和启发创意。 他同时指出，AI 目前仍无法解决多数问题；但借助 auto-research、精心搭建的 harness 和大量 token，部分文献中的问题可以被攻克。
AI 根据报道生成 · 1 小时前更新
最新进展11月3日 12:42
数学家 nasqret 称 AI 已呈「弱 AGI」形态并成为数学研究日常工具报道时间线
沿着报道，了解事件的不同侧面。
11月3日
- AGI Hunt数学家 nasqret 称 AI 已呈「弱 AGI」形态并成为数学研究日常工具
数学家 nasqret 认为，AI 已呈现「弱 AGI」形态，正日益成为数学研究中的日常工具。AI 可帮助形式化重大项目，并在几乎任何数学分支提供技术支持，用于探索、验证和创意启发。尽管多数问题仍不可解，部分文献问题可借助 auto-research、精心搭建的 harness 和大量 token 攻克。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。