搜索
浙江大学AI博士生、无界AI联合创始人马千里借助GPT-5.6、Fable 5、DeepSeek等AI模型组成的科研Agent团队，在北大董彬教授发起的ICMConjectures项目中用48小时产出约2万行Lean形式化代码，攻破了数学家Colombo于1928年提出的百年矩阵行列式难题。
前DeepSeek核心研究员魏浩然近日带队加入百度基础模型研发部，出任文心大模型多模态算法负责人，负责端到端OCR等方向，其此前主导的Unlimited OCR模型曾在OmniDocBench评测中取得全球第一。
创新工场汪华与Floatboat.ai创始人谭少卿对话指出，腾讯WorkBuddy、字节豆包工作、阿里千问办公等大厂AI办公会战已完成Agent市场教育，GLM-5.3-Flash和DeepSeek-V4-Flash等国产模型跨过能力门槛，巨头的壁垒仅剩资金，而中国创业者凭借贴近开源模型生态的优势，有望在垂直Agent领域找到更多机会。
5个月迭代4款模型，下一步还要开源。
刚刚，Gemini 3.8 Flash，正式发布。
前DeepMind AI Scientist团队创立的Inherent获5000万美元种子融资，其基于Qwen3.6-27B后训练的科研判断系统Faraday在AI for Science预留测试集上以0.791的平均得分超越Claude Opus 4.8与GPT-5.5 Codex。
谷歌正式发布Gemini 3.8 Flash及网络安全专用版Gemini 3.8 Flash Cyber，前者以极低单任务成本在多项基准测试中逼近GPT-5.6 Sol、Grok 4.6等顶级模型，并在软件工程和速度上实现大幅跃升，后者则在漏洞发现基准CyberGym上以86.2%的成绩屠榜，谷歌DeepMind称这标志着RSI（递归自我进化）迈出了一大步。
图片不只被编码，还直接参与 Attention、MoE 与 Agent 推理。
AlphaEvolve再次刷新记录！
“你如果不能在几个小时内重建 Cursor，下次面试会非常艰难——那不过是 300 行代码的一个 while 循环。”