AI日报 | 2026年7月14日
AI日报 | 2026年7月14日 GPT-5.6"数学证明"遭学界审视:方法初等但缺同行评审 OpenAI宣称GPT-5.6 Sol Ultra证明循环双覆盖猜想后,曼彻斯特大学数学家Thomas Bloom分析称其方法"出奇地初等",仅是巧妙组合现有图论技巧。数学界一致态度为谨慎乐观,核心争议在于证明未经同行评审、未使用Lean形式化验证、仅以PDF上传公司CDN而非发表在学术期刊。 ...
AI日报 | 2026年7月14日 GPT-5.6"数学证明"遭学界审视:方法初等但缺同行评审 OpenAI宣称GPT-5.6 Sol Ultra证明循环双覆盖猜想后,曼彻斯特大学数学家Thomas Bloom分析称其方法"出奇地初等",仅是巧妙组合现有图论技巧。数学界一致态度为谨慎乐观,核心争议在于证明未经同行评审、未使用Lean形式化验证、仅以PDF上传公司CDN而非发表在学术期刊。 ...
AI日报 | 2026年7月12日 OpenAI与Anthropic联合警告:中国实验室使用数万假账户蒸馏AI模型 OpenAI和Anthropic于7月11日联合发布警告,称中国AI实验室正利用数万个虚假账户,通过"模型蒸馏"技术系统性复制其闭源模型。攻击者通过海量API调用收集输入-输出对数据,以极低成本获取接近原模型的性能。OpenAI已封禁数十万次可疑API调用,两家公司呼吁监管机构关注知识产权风险。 ...
AI日报 | 2026年7月11日 AI伪造内容入刑正式落地,监管红线划定;OpenAI高管动荡Anthropic实现盈利;阿里全面切断Claude服务12万开发者迁移;高盛称国产大模型格局趋稳;SpaceX公布太空算力时间表。 ...
SpaceXAI发布Grok 4.5:首个编程智能体模型,与Cursor联合训练 SpaceXAI正式发布Grok 4.5,这是该公司首个专门针对编程和智能体任务训练的模型,由SpaceXAI与Cursor联合完成训练。该模型在数万个NVIDIA GB300 GPU上训练,单个任务消耗Token仅为同级领先模型的一半,每秒输出80 TPS。定价为每百万输入Token 2美元、输出Token 6美元,成本不到同类可比模型的一半。已在SpaceXAI控制台、Grok Build及Cursor中可用。 ...
AI日报 | 2026年7月9日 GPT-5.6本周四全量上线,美国商务部正式放行 OpenAI宣布GPT-5.6系列(旗舰版Sol、均衡型Terra、轻量型Luna)将于7月10日公开发布。此前因美国政府审查仅限预览,现商务部AI标准与创新中心已完成补充测试并批准全面上线。Sol定价与GPT-5.5持平但性能更强,Terra性能媲美GPT-5.5但价格仅为一半。 ...
AI日报 | 2026年7月8日 今日焦点:Anthropic强制实名引发隐私争议,微软加速"去OpenAI化",DeepSeek务实造芯all in推理芯片,AI制药里程碑式突破。 ...
AI日报 | 2026年7月7日 腾讯混元3正式版上线,Gemini 3.5 Pro泄露将于7月17日发布,Fable 5生成水下曼哈顿让Karpathy惊叹,阿里云5亿美元领投生数科技创世界模型领域最大融资纪录,ICML 2026大奖扩散模型包揽两篇杰出论文。 ...
AI日报 | 2026年7月6日 Seedance 2.5今日开放体验,30秒原生视频生成进入专业时代;AI Agent首次自主完成勒索攻击,安全边界被打破;Anthropic联手三星造芯片,自研算力竞赛升温。 ...
AI日报 | 2026年7月5日 Anthropic联手三星自研AI芯片,英伟达GB300一兆瓦养活6万智能体,清华特奖得主顾煜贤加入DeepSeek,全球首例AI Agent自主勒索攻击曝光。 ...
AI日报 | 2026年7月4日 阿里全面禁用 Claude 引中美 AI 对抗升级,LeCun 团队让世界模型学会持续学习,宇树科技 IPO 获批具身智能登陆科创板,OpenAI 拟无偿划转 5% 股权设全民 AI 基金。 ...