搜索
自今年2月以来，AxiomProver已让8篇覆盖最硬核领域的AI论文现身arXiv，6篇正在筹备。上午出题下午交卷的节奏，让博士生秃头、教授评职称的日子一去不复返。接下来AI能做到什么？
近年来，文生图模型的能力快速提升。从 Stable Diffusion 到 FLUX、Qwen-Image，扩散模型已经能够生成高质量图像，也能处理越来越复杂的文本提示。
无论「机器人女友」的反对声音多大，消费端已经开始买单。
形式化定理证明，一直是LLM公认最严苛的推理试金石，每一步推导都必须通过Lean 4内核的机器验证。
三大 AI 实验室不约而同招经济学家。DeepMind 新设的「AGI 经济学」部门给出了第一批判断，比「AI 会取代你」要深得多，也扎心得多。
就在刚刚，Siri借谷歌的1.2万亿参数Gemini「重生」了！在今夜的苹果WWDC 2026上，Siri彻底迎来新生。结合设备端小模型，苹果打造了混合智能架构，让Siri在各个APP之间无缝穿梭。
今天，“港股AGI第一股”云知声发布其最新通用大语言模型U2，该模型是由云知声自研的、基于快慢思考融合的MoE（混合专家）范式构建的通用大语言模型。U2跳出了传统大模型盲目堆参数、堆Token的内卷路径，实现了“小参数强能力、少Token高产出、低算力低成本”的进化。
半年，估值实现6倍增长。
2026 年高考这几天，有些用户发现，豆包、元宝、Kimi、文心这些 AI，在某些功能上集体「限时上锁」了。拍题识图、试卷解析、作文生成，全给关了。
“Full Attention 正在被遗忘”