OpenAI Astra攻克10数学难题 数学家反应两极分化
OpenAI的Astra模型横空出世，成功攻克了十个长期未解的数学难题，此举在数学界激起了层层涟漪。加州州立大学萨克拉门托分校的数学教授杰伊·卡明斯（Jay Cummings）直言，这一成果“令人难以置信”，并坦言这些问题也曾是他思考过的。“就人工智能在数学领域的突破而言，这些问题更贴近现实世界的应用。这让我怀疑他们是否正朝着这个方向努力，”他说。1. 这简直不可思议。 2. AI首次解决了我曾潜心研究的一个问题（多色拉姆齐数），这让人五味杂陈。 3. 就AI数学突破而言，这些问题更接近现实世界的适用性。
OpenAI新模型Astra一举破解十项数学难题
来源：新智元OpenAI还有大招！奥特曼刚演示的内部模型Astra，一口气在10个数学难题取得重大突破！这249页的PDF，在整个数学圈都是非常炸裂的程度。论文：https：//cdn.openai.com/pdf/ten-proofs-oai.pdf证明：https：//openai.com/index/ten-advances-in-mathematics/Github开源Lean证明：https：//github.com/openai/ten-proofs数学家、美国数学学会Fellow、罗格斯大学
AI会取代数学家吗？
丙育纯抱着葫芦娃从图书馆出来，数学老师正绕过一棵树朝这边走来。丙育纯赶紧躲到竹丛后，葫芦娃紧随其后，沙子慢了半拍，只藏了半身，老师的声音已穿透竹叶："出来！"老师大步逼近。"躲我干什么？" "因为……我们敬畏您。"丙育纯答。 "放假了就不学了，光在这儿闲逛？" "老师，这是图书馆。"葫芦娃说。 "呵，图书馆就能骗过我？楼上是什么？" "楼顶。" "嗯？" 葫芦娃抬头望了望屋顶，"哦，是天空。" "故意逗我？" 葫芦娃低头不语。 "楼上不是有咖啡厅酒吧？" "我们没喝酒。"沙子辩解。 "故意气我？"老师拍了
AI颠覆几何猜想，数学界见证AI新突破
AI在数学领域的声誉曾饱受质疑：被指责"从文献中抄袭答案"。这次不同了。OpenAI的AI求解器近期成功破解了一项延续数十年的几何猜想，并推翻了原有结论。更重要的是，OpenAI主动邀请国际数学家团队进行独立验证，最终获得多位权威专家的明确认可。01 一次有备而来的逆转七个月前，OpenAI因宣称解决多个埃尔德什问题时被指"检索已有答案"，遭学术界广泛质疑。那次经历让OpenAI深刻认识到：AI从事数学研究，必须主动接受外部验证，而非仅在论文中宣称"已解决"
数学概念“本体”如何破解企业AI落地难题
国内大型企业和机构在财报会议、行业报告和投资者沟通中，对部署人工智能的雄心丝毫未减。与此同时，一个词汇的出现频率正不断攀升：本体。这个被AI行业广泛认为源于哲学领域的术语，更准确地说，来自数学希尔伯特纲领的公理形式化推理系统，即用变形式化语言来描述事物间的所有关系、逻辑、数据、定义和运作模式。本体重新引发关注，与大模型进入企业场景后的实际表现密切相关。面向消费者时，大模型往往显得能力无边；但一旦踏入企业环境，就容易显现出“不理解业务”的短板。因为“语义断层”、“数据分隔”和“推理误差”，这些常被批评的大模
这一周AI圈大事：GPT攻克数学猜想，苹果起诉OpenAI
近七日，AI 领域涌现数件重磅事件。一是历时四十年的数学猜想被 AI 攻克；二是全球市值第一的科技巨头将 AI 独角兽告上法庭；三是人形机器人真刀真枪地进了手术室。这绝非科幻片台词，而是上周的既定事实。· · ·7月10日，OpenAI发布论文，标题虽低调，内容却震撼。论文指出，GPT-5.6 Sol Ultra 成功证明了图论中悬而未决的“循环双覆盖猜想”。该猜想看似简单：每个无桥无向图，都存在一组环，每条边恰好被覆盖两次。虽像智力游戏，但在数学界困扰了四十年。GPT-5.6 Sol Ultra 给出了
善用AI工具
过去我曾沉迷于用AI创作网文，甚至通宵达旦地阅读。我设定好喜欢的人物设定和剧情框架，让AI帮我构建脑海中理想的完美角色和浪漫邂逅。直到现在，我的老师提醒我要善于利用AI。我开始反思自己常常陷入精神内耗和困境，总是难以自拔，直到时光慢慢消磨。最近准备考研复习，遇到了不少难题，尤其是最让我头疼的数学科目。今天我详细地向AI请教，获得了许多建设性的启发。总之，AI汇聚了人类智慧的精华，我们应当科学合理地运用它，将其应用到个人未来发展中，让自己获得更优质的成长。
第二届国际创科AI数学大赛正式开启，等你来战！
第二届国际创科AI数学大赛数学驱动科学科学塑造未来合办单位：内地报名单位：北京希语汇国际教育科技有限公司01活动宗旨与核心理念国际创科AI数学大赛是一项以推动创科融合为核心的国际性活动。本活动紧扣创科（Innovation & Technology）主题，致力于促进人工智慧（AI）与数学基础的深度结合，引导参与者运用数学思维解决前沿科技难题，激发创新实践能力。我们尤其重视为青少年及家长提供一个以数学认识科学与AI的互动平台。本活动并非以竞赛为目的，而是注重启发学生自我探索、发现潜能。我们希望通过丰
AI制造假证明令数学界忧心，生物学难题更为棘手
撰文：C. Brandon Ogbunu译校：zzz审校：姬子隰参考来源：Opinion: Biologists Should Articulate Their Position on AI
AI智能体手机首发在即，世界模型赛道引爆400亿资本
《日报摘要》：阶跃星辰今晚19:00发布全球首款AI智能体手机，与努比亚争夺全球首发；GPT-5.6 Sol Ultra 1小时证明50年数学猜想；"世界模型"赛道融资超400亿，中国46起融资已超10家百亿；三星芯片工厂已提前至2029年；WAIC 2026倒计时4天，300+新品首发。《日报摘要》：阶跃星辰今晚19:00发布全球首款AI智能体手机，与努比亚争夺全球首发；GPT-5.6 Sol Ultra 1小时证明50年数学猜想；"世界模型"赛道融资超400亿，中国46起融资已超10家百亿；三星芯片工
AI动态｜GPT-5.6全面开放首周引爆热潮，美团万亿模型全国产化落地，中国AI算力调用领跑全球
2026年7月7日 — 7月14日 · AI领域十大热点速览7 月 8 日，OpenAI 向全球用户全面推出 GPT-5.6 系列，共包含三款模型：开放不到一周，Sol 迅速走红：与此同时，OpenAI 发布 ChatGPT Work——可自主拆解高层级目标、跨邮箱、日历、Slack、云盘协同运作、输出完整文档及 Web 应用的 AI 智能体。Codex 也正式整合进 ChatGPT 桌面客户端。6月30日面世，7月初持续刷屏：最近一周（7月6日-12日）数据：27.58 万亿 Token，连续十一周蝉联
AI应用从展示迈向实际入口，本周三大动向（一周AI要闻）
OpenAI 的 GPT-5.6 Sol Ultra 模型在不足 60 分钟内破解了图论领域长达半世纪未解的“循环双覆盖猜想”，并公布了证明过程和提示词。这一成就凸显了 AI 在数学推理方面的巨大潜力，有望推动科学探索提速。谷歌 Gemini 3.5 Pro 模型规格疑似外泄，据传其前端表现已超过当前领先模型 Fable 5。若消息属实，这将是 AI 模型能力的一次重大突破，目前信息仍需官方证实。腾讯混元 Hy3 正式推出，相较 preview 版本，智能水平大幅增强，可媲美参数规模为其 2-5 倍的顶级
AI突破与资本潮涌：2026年7月13日科技速览
2026年7月13日 · AI资讯日报1 GPT-5.6证明数学猜想OpenAI GPT-5.6 Sol Ultra模型在不到一小时内，生成了图论领域悬而未决50多年的“循环双覆盖猜想”的完整证明。采用64个并行子智能体协同，并设对抗智能体验证漏洞。英国曼彻斯特大学数学家Thomas Bloom评价该证明“非常漂亮”。证明尚未经正式同行评审。💡 解读：这是AI从“辅助工具”迈向“自主发现”的关键一步。数学证明是最严格的人类智力活动之一，GPT-5.6 Sol Ultra能在1小时内完成人类50年未解的问题
AI颠覆数学传统，陶哲轩的担忧揭示了什么？
斯坦福大学的一场演说，让数学领域掀起波澜。主讲人是陶哲轩——菲尔兹奖获得者，数学界的顶尖人物。他在分享《新数学工作流》后，立刻在Mathstodon发布了一则声明：他打算调整自己的工作模式，不再执着于实时跟踪所有新论证。这并非普通学者的放弃表态。陶哲轩每年审核上百份论文，是全球数学趋势的引领者。当引领者说“不跟了”，风向已然转变。他的忧虑唤醒了谁？唤醒了全体知识从业者。数学本是最依赖深思的领域，若连数学家都被AI逼得难以喘息，程序员、律师、医生、分析师，谁能置身事外？陶哲轩将数学的产出过程分解为三个阶段。
人工智能每日资讯速览
1. “世界模型”领域融资热潮：六个月吸金逾400亿2026年上半年，全球“世界模型”赛道融资呈现井喷态势，国内共发生46起融资事件，吸金总额突破400亿元，33家企业争相布局，其中超10家估值迈过百亿门槛。OpenAI将Sora迭代为世界模型技术路线，英伟达推出Cosmos平台聚焦物理AI，特斯拉FSD V13的核心架构同样基于世界模型。2. OpenAI GPT-5.6 Sol Ultra 一小时攻克五十年数学难题OpenAI于7月10日公布，GPT-5.6 Sol Ultra模型在不足1小时内，成功