AI日报 – 2025-10-07(早)
GPT-5数学能力突破 : GPT-5 Pro在NICD-with-erasures多数最优性问题上找到了反例，超越了现有最优多数算法，显示其在复杂数学推理方面取得显著进展。这表明GPT-5的数学能力可能达到超人水平，对理论研究和实际应用都有深远影响。
AI日报 – 2025-10-06(晚)
GPT-5 Pro数学突破 : GPT-5 Pro在数学领域取得重大进展，成功找到了NICD-with-erasures多数最优性问题的反例（Simons列表，第25页）。这一发现表明GPT-5 Pro在复杂数学推理方面已达到新水平，能够挑战现有数学理论，预示着AI在原创数学研究中的巨大潜力，并可能推动数学界对AI辅助证明的接受度。
AI日报 – 2025-10-06(早)
Meta新方法缩短思维链，告别重复推导 : Meta、Mila-Quebec AI Institute等联合提出“元认知复用”机制，旨在解决大模型推理中重复推导导致token膨胀、延迟增加的问题。该机制让模型回顾并总结解题思路，将常用推理套路提炼为“行为”存储于“行为手册”，需要时直接调用，无需重新推导。实验显示，在MATH、AIME等数学基准测试中，该机制在保持准确率的前提下，最多可减少46%的
AI日报 – 2025-10-05(晚)
陶哲轩用GPT-5解决数学难题 : 著名数学家陶哲轩利用GPT-5仅用29行Python代码成功解决MathOverflow上的一个数学难题，证明了“序列lcm(1,2,…,n)是否是高度丰数的一个子集”这一问题的否定答案。GPT-5在启发式搜索和代码验证中发挥关键作用，大幅缩短了人工数小时的计算和调试时间。此次合作展示了AI在复杂数学问题解决中的强大辅助能力，尤其在避免“幻觉”方面表现出色，预示
AI日报 – 2025-10-05(早)
OpenAI与xAI商业秘密诉讼升级 : OpenAI强硬驳斥马斯克xAI的窃密指控，称其为“霸凌行径”，旨在恐吓员工。OpenAI否认窃取商业机密，并指出xAI员工离职是内部问题，而非挖角。此案涉及Xuechen Li和Jimmy Fraiture等前xAI工程师被控泄密，以及一名前财务主管跳槽争议，揭示了AI巨头间人才与技术竞争的白热化。
AI日报 – 2025-10-04(晚)
云澎科技发布AI+健康新品 : 云澎科技于2025年3月22日在杭州发布与帅康、创维合作的新品，包括”数智化未来厨房实验室”和搭载AI健康大模型的智能冰箱。AI健康大模型优化厨房设计与运营，智能冰箱通过”健康助手小云”提供个性化健康管理，标志着AI在健康领域的突破。此次发布展示了AI在日常健康管理中的潜力，通过智能设备实现个性化健康服务，有望推动家庭健康科技的发展，提升居民的生活质量
AI日报 – 2025-10-04(早)
Meta内部AI团队动荡与LeCun辞职传闻 : Meta AI部门经历频繁重组，导致内部不满情绪高涨，甚至有传闻称图灵奖得主Yann LeCun可能辞去FAIR首席科学家职务。内部策略调整，如论文发表需额外审核、新员工高薪与资源倾斜，加剧了FAIR团队的学术自由受限感和老员工的不满，引发多位研究员离职。此次动荡揭示了大型科技公司在AI战略调整中面临的挑战，以及在追求商业化与维护基础研究自由之间的
AI日报 – 2025-10-03(晚)
Sora 2发布，引领创意内容新范式 : OpenAI推出Sora 2，结合Sora 2模型与全新产品，旨在成为“创意领域的ChatGPT”。该应用强调从创意到成果的快速转化，并通过“客串”功能增强用户与朋友在视频中互动，提升连接感。尽管面临成瘾性和滥用（如深度伪造）的担忧，OpenAI致力于通过用户满意度优化、鼓励用户控制内容流、优先创作及帮助用户实现长期目标等原则，探索健康的社交动态。这标志着
AI日报 – 2025-10-03(早)
OpenAI模型中的种姓偏见引发关注 : MIT Technology Review调查显示，GPT-5和Sora在印度市场存在严重的种姓偏见，将达利特人与贫困、低贱职业关联，而将婆罗门与学识、精神地位挂钩。GPT-4o表现出较少偏见。现有AI偏见评估标准（如BBQ）未涵盖种姓，研究人员正开发新基准。这引发了对AI模型在非西方文化背景下公平性和潜在社会影响的担忧。