「o1」共找到 2029 篇相关文章
英伟达一口气开源多项机器人技术，与迪士尼合作研发物理引擎也开源了
英伟达在机器人学习大会上发布多项开源技术，有Newton物理引擎、Isaac GR00T N1.6基础模型等，还在硬件层面下功夫。顶尖公司、高校已用其技术，全栈式布局或重定义机器人研发规则。
Grok 4源代码刚刚泄露！上线倒计时，马斯克xAI估值破1130亿，大模型要变天
xAI再获百亿美元融资，估值飙至1130亿。xAI控制台已有Grok 4和Grok 4 Code源代码流出，计划7月4日后发布。Grok 4智能无与伦比，或打破o3在榜单的领先地位，xAI将成OpenAI等对手。
88岁图灵奖得主，用Claude一小时破解30年数学悬案
88岁图灵奖得主高德纳发文称，他研究数周、可追溯到30年前的三维图论开放问题，被Claude Opus 4.6仅用1小时、31次探索就破解，还给出通用构造算法，这让向来对生成式AI保留的他致敬Claude。
突袭Cursor，Windsurf抢发自研大模型！性能比肩Claude 3.5、但成本更低，网友好评：响应快、不废话
当地时间5月16日，Windsurf推出首个AI软件工程模型家族SWE - 1，含三款模型，性能比肩Claude 3.5且成本更低。开发者试用评价不错，但也指出不足。Windsurf称旨在提升软件开发速度，还介绍了测评、编辑器赋能等情况。
最大全电动飞机首飞成功，飞行半小时电费5美元，这家初创想做航空业的特斯拉
8月12日，初创公司Heart Aerospace制造的最大全电动飞机X1首飞成功，飞行约27分钟，电力消耗仅约5美元。公司想用电动飞机替代30 - 50座支线飞机，其后续发展受电池技术、成本等因素制约。
一个「流浪」数学家的遗产，正在被AI公司疯抢
2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。
谷歌AI将攻破200年数学难题！39岁天才率队密研三年，或摘千禧年大奖
谷歌DeepMind携手39岁数学天才Javier Gómez Serrano，率20人团队秘研三年，借AI冲击千禧年大奖难题——纳维 - 斯托克斯方程，预计未来12 - 18个月取得成果，若成功将助人类深入理解多领域机制。
它石智航用“吉尼斯纪录”交卷真干活的具身大脑，丁文超：从来没有Plan B
它石智航在获巨额融资后埋头研发，其A1机器人创线束装配吉尼斯世界纪录。该公司打造具身大脑AWE 3.0，还推出SenseHub数采套件，发起具身数据星火计划，推动具身智能发展。
马斯克要自己做「英伟达+台积电」！宇宙芯片宏图开工，算力产能扩5000%
马斯克宣布启动史上最大规模芯片计划Terafab，目标是每年生产超1太瓦算力，80%部署至太空。该计划将芯片设计到制造整合，为机器人、AI和太空数据中心造芯片，不过暂无具体时间线。
给GUI Agent装上「世界模型」：阿里通义用混合数据+统一思维链，让模型学会预判屏幕变化
伴随多模态大模型发展，GUI Agent成人机交互新范式，但构建高可用、跨平台的GUI Agent面临诸多挑战。阿里通义实验室开源Mobile - Agent - v3.5框架及GUI - Owl - 1.5模型家族，解决了相关技术壁垒。