解决20年数学难题！微软开源Argus用证据驱动1548小时自动研究
解决20年数学难题！微软开源Argus用证据驱动1548小时自动研究从「会执行」到「会掌舵」，长程 Agent 还缺什么？
来自主题: AI技术研报
6403 点击 2026-09-07 10:18
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
从「会执行」到「会掌舵」，长程 Agent 还缺什么？
一只果蝇，在Minecraft里飞。
周末，GPT-6 Astra正式上线了。
“AI PC是个人计算的基础设施，而非云端AI的替代品。”
什么是好产品这个问题的答案，正在迅速改变？
这周前沿模型疯狂出货，基模厂更新的速度已经快到模型名和版本号根本无法记住的地步🤯
硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中，借助AI驱动的搜索、计算与Lean形式化验证，将有界素数间隔上界从246进一步推进到212，打破了保持十余年的纪录。
现在用 AI 做视频，效果这块已经很可以了，最大的问题就是生成速度实在太慢。
机器人 VLA 还在疯狂卷数据，StarVLA 团队这次却把目光放到了另一个问题上：除了继续 scale 数据以外，能不能让每一条数据都学得更值？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！