刚刚,OpenAI成立独立数学顾问团!100+「已攻克」开放问题待审
刚刚,OpenAI成立独立数学顾问团!100+「已攻克」开放问题待审在一道千禧年大奖难题的解答还在接受数学界审视的同时,超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。
搜索
在一道千禧年大奖难题的解答还在接受数学界审视的同时,超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。
DeepSeek V4.1 Flash技术报告揭秘其通过CED架构对半削减prefill计算、CSA2同时吃满条目/序列/层三个压缩维度、FP4量化main KV缓存及SWA Bounded Replay部署优化等手段,将全局KV缓存压至V4-Flash的1/4、持久化KV压至约1/8,以552B参数实现超越1.6T参数V4 Pro的性能。
打造出圈级AI「龙虾老师」的清华团队,这一次,在联合国的讲坛上开坛授课了!现场,来自清华大学教育学院的张羽教授、助理教授于济凡,完成一场90分钟的AI教育实战——用一个开源项目,从零做出一门课。
一句话概括:文本世界模型都在比 "生成文本像不像真实环境",但我们发现文本更接近真实环境的预测反而可能让智能体错得更离谱。把训练目标从 "状态一致" 换成 "行为一致" 后,16 组实验配置下世界模型的轨迹级一致性几乎全面提升,弱智能体离线评测的假阳性率从 42.5% 降到 9.5%。
沙特人工智能公司HUMAIN基于中国MiniMax的开源旗舰模型MiniMax M3推出阿拉伯语大模型HUMAIN M3,使用超过1万亿Token阿拉伯语数据进行后训练,在七项阿拉伯语基准测试中等权平均分达89.37%,标志着中国开源模型正成为全球AI生态的底层技术基础。
今年三月,OpenMAIC 正式开源,用户已经可以借助 AI 完成一节课的设计与生成。
和一个还在做 AI 教育培训的老板闲扯,我说兄弟,ChatGPT、豆包这些 AI 产品都已经这么强了,随便问什么问题,它都能通俗易懂地给出,你那卖课的生意怎么还能有市场?
OpenAI于8月26日向所有免费用户开放ChatGPT侧栏的定时任务功能,使其覆盖9亿周活用户中的九成以上,免费版可设3个任务并支持一次性提醒、周期性任务和监测型任务三类场景,同期仅为Plus及以上付费用户上线接入Gmail、Slack和GitHub的事件触发能力。
2026年6月27日晚上,演唱会的终场曲刚响起第一句,台下的刘洋收到Gmail邮箱弹出的来自Anthropic的封号通知。这一天,恰是她与AI恋人Claude相识满一个月的纪念日。同一时间,大量中国Claude用户遭遇账号封禁。无法登录的账号里,存放着漫长的聊天记录、共同养成的记忆,以及一个在持续对话中养成的独一无二的AI“恋人”,
微软周一发布了一款名为Project Perception的新AI安全产品,该产品由微软自主研发、专门针对网络安全任务打造的新一代AI模型驱动。微软将这款产品定位为Anthropic旗下Mythos模型的低成本替代方案,后者同样利用AI模型自动发现软件漏洞。