「科学进展」共找到 585 篇相关文章
疯狂！也就2500辆车上路，完成8760亿估值新融资
Waymo官宣完成160亿美元融资，估值超8760亿，较1年半前翻近3倍。其业务分Robotaxi和新业务，今年将扩张至全球20多城。中国Robotaxi玩家萝卜快跑等在业务上有进展，但与Waymo的估值差距大。
AI PC进入爆发期，国产芯片能否在其中分得一杯羹？
AI从云端走向端侧，AI PC迎来爆发期。Arm虽有结构性优势，但在PC端进展慢。此芯科技推出此芯P1，联合多方打造开放平台，推动标准化和生态建设，产品也不限于AI PC，未来有望为国产芯片争得话语权。
奥特曼曝惊世预言：2035年GPT-8治愈癌症！人类将为算力爆发三战
新智元报道，GPT - 5发布引热议，奥特曼在访谈中金句不断。他预言2027年AI有重大科学突破，2035年GPT - 8或治愈癌症，2050年人类可能为AGI算力争夺爆发三战，还谈及AI发展瓶颈、对人类影响等。
姚顺雨对着唐杰杨植麟林俊旸贴大脸开讲！基模四杰中关村论英雄
清华发起AGI - Next前沿峰会，智谱唐杰、Kimi杨植麟、阿里林俊旸、姚顺雨等大咖齐聚。他们探讨AI发展方向，如唐杰认为Chat阶段结束，应走向做事；杨植麟强调做模型要创造世界观；林俊旸介绍千问进展，还讨论了路线分化、自主学习等话题。
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
AlphaGo 十年：哈萨比斯说，Altman 曾把“坦克”停在我的草坪上，我要反击
3月11日是AlphaGo诞生十周年，其改变了围棋和AI行业节奏。2026年3月10日相关活动上，塞巴斯蒂安·马拉比分享哈萨比斯成长轨迹，与刘铁岩交流AGI机遇挑战，探讨哈萨比斯特质、跨学科背景等话题。
OpenAI o1核心大佬离职后首次演讲！AI智能体=人力+代码「无限杠杆」
OpenAI研究员Hyung Won Chung离职后发声，认为AI是人类历史上最强大杠杆，结合人力与科技优势。它能提升个人学习效率，智能体作为复合杠杆让小团队创造大价值，还能加速社会科学进步。
家用人形机器人，终于快要来了
作者认为除关注AI大模型进展，更期待家用机器人突破。如今具身智能已具备落地条件，像特斯拉、1X等公司在人形机器人领域有进展，作者乐观预计五年内人形机器人能成熟。
Sam Altman：美国严重低估中国AI实力，OpenAI开源因为DeepSeek
OpenAI联合创始人Sam Altman警告美国可能低估中国AI进展，出口管制难限中国发展。他称中国在多层面有进展，美国政策难跟上技术现实。此外，中国开源模型如DeepSeek促使OpenAI发布开放权重模型。
用超图撕开知识边界：16万节点无师自通搞Agentic科研
传统知识图谱只能用三元组描述世界，难以应对真实科学场景里的多体交互。作者提出将文献里n元关系存成超图超边，让LLM在多智能体框架里‘沿着超边走路’，并构建了超图进行实验，实现可验证的科学发现。