搜索
Claude证明超67%黎曼zeta零点位于临界线上，数学家Youness Lamzouri随后用更简洁的希尔伯特空间不等式给出了优雅的重新证明，AI工具AxiomProver在数小时内于Lean中完成自动形式化验证。
前DeepSeek核心研究员魏浩然近日带队加入百度基础模型研发部，出任文心大模型多模态算法负责人，负责端到端OCR等方向，其此前主导的Unlimited OCR模型曾在OmniDocBench评测中取得全球第一。
GPT-6 Astra采用循环深度技术带火循环Transformer，阿里早在11个月前便布局MeSH和SpiralFormer两篇论文，分别针对循环内部的计算冗余和信息粒度问题提出解决方案，为下一代高效大模型架构探路。
我们自建的"你画我猜 Benchmark"第一期用150个词、1350张SVG画作对8款模型进行互画互猜测试，最终GPT-6 Astra以75.5分险胜Gemini 3.8 Flash与Claude Fable 5.1，结果显示思考更多或花费更多的模型并未稳定取得更高分，且部分模型连自己的画都认不出。
谷歌Antigravity团队公布Teamwork多智能体编排框架成果，轻量级Gemini 3.7 Flash复现了Gemini 3.1 Pro解出的3道博士级数学难题，并从零构建RISC-V CPU模拟器、改进Eigen和ParlayHash开源库代码，证明小模型通过制度化博弈编排也能完成顶尖科研与工程任务。
红杉中国、真格基金等投资机构开始主动关注B站UP主，B站"AI创造公开赛"吸引1.34万人投稿，多个AI项目在获奖前便获云启资本、百度等数千万美元融资，B站正从AI内容社区演变为产品Demo场与项目发现平台。
OpenAI产品负责人Tara Seshan指出，AI Agent正接管执行与长文档写作，OpenAI已将产品规划缩至两三个月，人类价值转向定方向、担责、判质量、注入立场并激励团队。
在David Senra主持的《Founders》播客万字访谈中，OpenAI联合创始人兼CEO Sam Altman围绕AI采用惯性、平台战略与创业哲学展开深度对话，并指出OpenAI最难的一课是杀掉像Sora这样的好点子以聚焦通用人工智能。
腾讯WorkBuddy、阿里QwenWork等中国大厂AI办公产品出海面临获客成本高企、难以撼动Claude Code和Codex等海外成熟工具用户心智、品牌信任与数据合规门槛较高以及本地化不足等现实阻力，尽管中国AI模型凭借性价比在海外广受欢迎，国产AI办公Agent却尚未打开海外市场。
北京航空航天大学史振威与邹征夏教授团队开发了面向广域地球观测的生成式基础模型MetaEarth3D，只需给定文字或卫星图即可生成无界连续一致的三维世界场景，并自带空间标注使空天AI模型空间理解能力平均提升22.85%。