刚刚,GPT-6 Astra联手非职业数学家,证明57年「摆圆」 难题
刚刚,GPT-6 Astra联手非职业数学家,证明57年「摆圆」 难题AI现在真是开启数学证明扫荡模式了。
来自主题: AI资讯
8971 点击 2026-10-13 14:24
搜索
AI现在真是开启数学证明扫荡模式了。
最近,全球AI圈彻底疯了。
好家伙,字节这回直接把AI生成玩成开放世界了?!
DeepSeek啊……你这岗位到底想招啥嘞?
国庆前,海外各家大厂的Personal Agent产品下饺子一样出现。
在无人在意的角落,OpenClaw 又更新了。
大厂林立,独立AI Infra厂商凭何能冲出重围?
AI 兴盛以来,有许多路线争论,比如是垂类 AI vs 大而全,比如套壳vs模型,也比如 CLI(命令行) vs GUI(图形界面)、
「他们彻底摧毁了我的研究领域。」
两年前,我原本和于红约好录一期播客聊 AI 投资。那时,她是美团龙珠合伙人,正带领团队 All in AI。