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小时内，成功
AI过度共情背后：一位数学教师的智能体实践与青少年成长隐忧
大约从2024年起，各类AI产品如雨后春笋般涌现。我对新技术持有开放心态，有机会就愿意尝试，不过并不特别主动。多年来，我只简单使用过DeepSeek和豆包。直到今年参加了人工智能培训，才猛然意识到市面上各类AI技术令人目不暇接。感觉根本学不完。借此契机，我打算假期认真研究其中几个，看看哪些能助力教师教学。 先聊聊豆包智能体。2024年上线，我直到2025年10月才首次尝试创建，一个是中学数学命题，另一个是中学数学教研。作为我首批试用的智能体，我对它们满意度并不高，很多时候觉得它们一本正经地胡言乱语，看看我
AI赋能数学学习：三大技巧攻克难题
AI时代掌握这些方法！轻松应对90%的数学问题上期我们解决了孩子语文作业的困扰许多家长刚感到轻松却又被数学科目难住计算题频繁出错应用题无法理解题意审题许久仍找不到等量关系……本期就跟随"AI教育助手"，一起来探索数学科目的学习技巧。❌ 错误方式拍照搜题，不加思考直接抄写答案。表面上看似快速完成作业，实则对知识点完全没有掌握，考试遇到类似题目依然会失分。✅ 正确方式启发引导+漏洞诊断。建议先让孩子独立思考5分钟，完全没有头绪后再借助AI助手。用规范话术提问，深入理解解题思路，真正掌握知识点。AI数学辅导技巧