「证明者 - 验证者」共找到 1486 篇相关文章
对谈零次方闵宇恒，我们应该怎么教本科生去创业？｜00后创业者系列
本文是对00后创业者闵宇恒的访谈。他25岁清华硕士在读，本科毕业一年带领具身智能团队获亿元级融资。文中介绍其创业经历、零次方机器人特色，探讨大学创业教育、具身智能发展等问题。
多模态推理新范式：上海AI Lab新作证明“画”出答案比“说”出答案更靠谱
上海人工智能实验室等联合提出DiffThinker模型，利用扩散模型构建全新视觉推理范式。它在视觉中心任务上表现优异，准确率碾压GPT - 5等模型，还能与MLLM协同推理实现1 + 1 > 2的效果。
视觉领域的GPT-3时刻！DeepMind首次证明Veo3模型实现对物理世界建模和推理
谷歌DeepMind研究团队论文显示，视频模型Veo 3学会‘无师自通’，能处理多种没学过的视觉任务。研究人员将其能力分四级，还做了定量评估。研究认为机器视觉或正处范式转变边缘。
直击CES：黄仁勋演讲后4个小时，苏姿丰带着她的“复仇者联盟”上台了｜甲子光年
CES 2026上，英伟达CEO黄仁勋演讲后约4小时，AMD董事长苏姿丰登场，展示全栈AI战略。发布Helios架构、新GPU产品及Ryzen AI平台等，走系统工程与长期演进路线，欲抢AI基础设施市场。
SOMA Robotics 陈天一：当一个追求自由的人决定跳入创业的牢笼 | 00 后创业者系列
本文讲述SOMA Robotics创始人陈天一的创业故事。他从小追求自由，休学创业，起初项目不顺，后项目入选奇绩创坛。他谈创业感受、选择具身智能赛道原因及SOMA创新等，认为创业是直面现实的修行。
Cursor终结者？Grok 4正式登顶！马斯克扬言编程碾压，20万N卡年赚47亿美金！
时隔5个月，xAI发布通用模型Grok 4，后续还将推三款模型。Grok 4上线，有三个订阅版本。马斯克称其智能超博士生，多项基准测试领先，编码或超Cursor。其性能强大源于训练投入和计算扩展。
Cursor终结者？Grok 4正式登顶！马斯克扬言编程碾压，20万N卡年赚47亿美金！
时隔5个月，xAI发布通用模型Grok 4，后续还将推编码、多模态代理和视频生成模型。Grok 4已上线，有三个订阅版本。马斯克称其智能超博士生，在多基准测试中领先，编码或超Cursor。
MIT爆火论文被曝数据造假！曾验证AI辅助科研增速44%，诺奖得主都被诓了
MIT一篇名为“Artificial Intelligence, Scientific Discovery, and Product Innovation”的论文曾轰动学术圈，表明AI辅助科研有显著效果。但半年不到，因涉嫌关键实验数据造假被责令撤稿，作者已离开MIT，论文暂未从arxiv下架。
搅局者来了！智谱重磅开源AutoGLM，让“豆包手机”人人可造！官方：AI手机不该掌握在少数厂商手中
智谱团队将核心AI Agent模型AutoGLM完整开源，它有手机操作能力，支持上百主流APP。智谱认为AI手机是趋势，不应被少数厂商垄断，开源还能解决隐私问题，复用技术经验。
估值7.5亿美元初创意欲「撬动」8000亿半导体市场？前谷歌AlphaChip主导者创业研发「AI芯片设计自动化」
由前谷歌研究员创办的 Ricursive Intelligence 公司，尝试开发自动设计芯片的软件。其核心技术将递归智能用于芯片设计，分三阶段改进，已获 3500 万美元融资，估值 7.5 亿美元，有望变革半导体行业。