陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了

不得了,这个名叫Gauss(高斯)的新AI Agent,有点杀疯了的感觉。 因为它只用了三周的时间,就完成了陶哲轩和Alex Kontorovich提出的数学挑战—— 在Lean中形式化强素数定理(P … 继续阅读 陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了

从大模型到智能体,能干活的AI员工开始“上岗”!|直击2025外滩大会

《科创板日报》9月12日讯(记者 黄心怡)“今年是智能体很重要的一年,不少企业都在致力于打造人机融合的新型组织。”上海交通大学安泰经济与管理学院副院长刘少轩在外滩大会期间接受《科创板日报》采访时表示。 … 继续阅读 从大模型到智能体,能干活的AI员工开始“上岗”!|直击2025外滩大会

阶跃星辰姜大昕:智能体未来将呈现三大发展趋势

人民财讯9月12日电,9月12日,在2025外滩大会“全球AI投资展望”论坛上,阶跃星辰创始人、CEO姜大昕表示,智能体(Agent)未来将呈现三大发展趋势:一是有效工作时间将越来越长;二是从数字世界 … 继续阅读 阶跃星辰姜大昕:智能体未来将呈现三大发展趋势

张宏江演讲:中美AI算力储备差距大,Agent将改变人类组织构成

作者 | 程茜 编辑 | 心缘 智东西9月11日报道,今天,在2025 Inclusion·外滩大会开幕式上,源码资本投资合伙人、美国国家工程院外籍院士张宏江发表主题演讲,他认为,今年是 … 继续阅读 张宏江演讲:中美AI算力储备差距大,Agent将改变人类组织构成

明略科技入选IDC“中国AI Agent市场”标杆厂商,大模型技术实力获认可

近日,国际权威研究机构 IDC 发布《中国AI Agent市场剖析及厂商推荐,Q325》报告。经专家调研及多维评估,明略科技凭借企业级大模型与智能体技术优势,成功入选标杆厂商之列。 IDC报告指出,2 … 继续阅读 明略科技入选IDC“中国AI Agent市场”标杆厂商,大模型技术实力获认可

AI早报 | 宇树科技:将在四季度提交IPO申请;腾讯开源智能体框架Youtu-Agent

宇树科技:将在四季度提交IPO申请 9月2日,宇树科技宣布,预计将在2025年10月至12月期间向证券交易所提交上市申请文件,届时公司的相关运营数据将正式披露。宇树科技表示,以2024年为例,四足机器 … 继续阅读 AI早报 | 宇树科技:将在四季度提交IPO申请;腾讯开源智能体框架Youtu-Agent

博世与阿里巴巴深化战略合作;腾讯开源智能体框架Youtu-Agent|未来商业早参

每经记者:赵雯琪 每经编辑:文多 |2025年9月3日 星期三| NO.1 腾讯开源智能体框架Youtu-Agent 9月2日,腾讯优图实验室正式开源智能体框架“Youtu-Agent”,旨在为研究人 … 继续阅读 博世与阿里巴巴深化战略合作;腾讯开源智能体框架Youtu-Agent|未来商业早参