「彭宇新团队」共找到 6213 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
刚刚，神话级Fable 5.1来了！
今天，Claude Fable 5.1全平台上线，Mythos 5.1专供特定团队。新模型跑分有断层式代差，还降低了算力门槛。通过重绘金星、设计蛋白等案例展示其科研能力，在编程上也表现出色，同时在安全上采取‘一松一紧’策略。
AI 六小龙近况：零一万物迎来三位新高管，李开复提出“一把手工程 ”
AI六小龙中的零一万物进行新一轮高管任命，沈鹏飞等三人加入。同时提出“一把手工程”核心战略，以“一横多纵”打法构建新格局，推动大模型ToB解决方案落地，探索AI商业化新方向。
一个上海AI独角兽爆发了
全球AI圈因MiniMax“发布周”沸腾。新模型MiniMax - M1被视为“性价比新王”，还有新视频、语音模型表现出色。其89年博士闫俊杰带队，在大模型研发上多次做非共识选择，现估值超30亿美元，还推出智能体产品。
谷歌流量急坠归0？核心员工被「自愿离职」，30年搜索帝国崩塌
谷歌搜索迎转折点，为支持AI投入向多部门员工提「自愿离职」方案。在线新闻媒体流量受重创，聊天机器人取代谷歌搜索，新闻网站推荐流量暴跌，谷歌称仍致力于为网络带来流量。
世界模型的下一个战场：生物医学
本文解读发表于《Cell》的生物医学世界模型研究，梳理该方向核心逻辑：AI生物应用从静态识别转向干预结果动态推演，介绍现有进展与核心挑战，分析其研究价值。
Dify、n8n、Coze、Fastgpt、Ragflow到底该怎么选？超详细指南～
文章对比了Dify、Coze、n8n、FastGPT和RAGFlow五个主流平台，从功能、使用体验、应用场景等方面详细分析其特点，给出选择建议，还提醒考虑预算、技术能力等要素，帮读者选合适平台。
微软发布了 TypeScript 5.9，延迟导入并增强了开发者体验
微软发布 TypeScript 5.9，带来开发者体验改进、新特性和性能优化，如支持延迟导入、改进默认项目设置、引入新模块选项等，也有性能升级，还透露未来版本计划。
谷歌AI逆袭背后的头号功臣
2025年谷歌AI打翻身仗，Nano Banana和Gemini 3 Pro两款模型抢了OpenAI大量用户。背后功臣Josh Woodward临危受命，让Gemini应用打败ChatGPT。他还孵化多款AI产品，重视细节与社会责任。
OpenAI发布权威AI科研基准，扯下AI遮羞布：奥赛金牌≠一流科学家！
OpenAI在2025年12月16日发布FrontierScience基准，用超700道题从物理、化学、生物维度考验AI科研推理能力。评测分竞赛和研究赛道，初测显示GPT - 5.2领先，但前沿模型仍有诸多问题。