-
webAI 开源 TwIL-8B 推理模型：聚焦数学与编程，长板表现优于 Gemma 4 31B
webAI开源TwIL-8B推理模型，聚焦数学与编程，MATH-500、AIME 2025表现亮眼，长板优于Gemma 4 31B，非商业开源，点击了解。[详细]
-
当AI杀进数学界 人们意识到原来柯洁是一种处境
AI杀入数学界，柯洁式处境再现！OpenAI强攻千禧难题与P=NP，Lean+Mathlib成AI自进化练兵场，还能治幻觉？一文看懂AI数学野心与局限。[详细]
-
菲尔兹奖得主邓煜提醒：人类不能放弃自主思考给 AI 当狗
菲尔兹奖得主邓煜：人类不能给AI当狗！他直言AI时代更需自主思考，数学是检验人类核心特质的载体。邓煜因何获2026菲尔兹奖？点击看详情。[详细]
-
菲尔兹奖得主邓煜：人类不能放弃自主思考给AI当狗
菲尔兹奖得主邓煜犀利发言：人类不能放弃思考给AI当狗！他为何说数学价值无可替代？点开看完整观点，AI时代最该守住的能力是什么？[详细]
-
OpenAI 宣布三项重大科学突破，科研界却不满其成果发布方式
OpenAI官宣三项重大科学突破：证明挂谷猜想、挑战指数时间假说、涉量子色动力学；却遭科研界集体吐槽发布方式太傲慢，点击了解。[详细]
-
菲尔兹奖得主邓煜评论 AI 公司反蒸馏：你不能只在你蒸馏全人类知识时支持蒸馏
菲尔兹奖得主邓煜怒批AI公司反蒸馏：蒸馏全人类知识时大方，拒绝公开思维链！数学界联手声明警告严重错位，点击了解详情。[详细]
-
微软造出“AI 学生”：替真人试课，模拟学生优化 AI 导师
微软研究院推出StudentSim：用AI学生模拟器替代真人试课，低成本测试AI导师教学效果，在象棋、写作、数学领域均优于GPT-5.4！点击了解这项颠覆性AI教学评测技术。[详细]
2026-10-17 10:02:07 -
丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
丘成桐领衔！清华成立数学与AI实验室联盟，集结超千位数学家，攻坚数学大模型、辅助证明与猜想发现，AI与数学深度融合，多项前沿成果公布，点击了解！[详细]
-
陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？
陶哲轩质疑OpenAI：719篇AI数学证明，人类真理解了吗？揭秘“证明消化不良”争议，透明度与形式化验证成焦点，点击了解详情！[详细]
-
OpenAI 发布又一批 AI 数学研究成果，攻破数百个悬而未决难题
OpenAI AI数学新突破！攻克数百个悬而未决难题，覆盖数学多个分支，成果引发学界震撼与争议。速来围观前沿进展！[详细]
-
腾讯搜狗输入法专业模式上线！首批覆盖计算机等13个领域：专属词库、符号联想
腾讯搜狗输入法专业模式上线！首批覆盖医疗、法律、计算机等13大领域，专属词库+符号联想，专业词汇输入更高效，学术人群必备神器！[详细]
-
Claude写作能力退化了！工程师解释：模型被训成写给AI看而非给人看
Claude写作能力退化？工程师揭秘：模型被训练成写给AI看而非给人看，强化学习偏重数学代码导致“Claude腔”。了解Opus 4.6到5.5的写作变化。[详细]
-
OpenAI CEO 奥尔特曼联合国演讲：AI 可能走向文艺复兴，也可能带来工业革命式动荡
OpenAI CEO奥尔特曼联合国演讲：AI可能带来文艺复兴，也可能引发工业革命式动荡。他谈AI风险与机遇，呼吁国际监管合作，避免权力集中。点击了解AI未来之路。[详细]
-
神秘新模型24天攻破100+世界级难题！OpenAI宣布成立数学与AI顾问组
OpenAI神秘新模型24天攻克100+世界级数学难题，包括纳维-斯托克斯问题！同时成立数学与AI顾问组，引发学界热议。点击了解AI突破与争议。[详细]
-
不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想
OpenAI不到一个月连破两道千禧年难题！继纳维-斯托克斯问题后，霍奇猜想即将被攻克，AI数学推理能力再突破，或将引发数学领域自动化革命。[详细]
-
25 位菲尔兹奖得主联合警告“AI 在数学领域严重错位”，邓煜调侃要退休回家写百合小说
25位菲尔兹奖得主联合警告AI在数学领域严重错位，陶哲轩、邓煜等签署声明。邓煜调侃若AGI解决数学问题就回家写百合小说。点击了解详情！[详细]
-
端侧唯一百万 Token 上下文模型开源：科大讯飞词元星火 X2.5-4B&1.7B 正式发布
科大讯飞开源端侧唯一百万Token上下文大模型星火X2.5-4B/1.7B，支持智能家居、办公、机器人等场景，已上线Hugging Face，限时免费调用API。[详细]
2026-09-01 12:02:00 -
我国研发投入首超美国登全球第一，科技创新跑出“加速度”
中国研发投入首超美国，登顶全球第一！科技创新跑出“加速度”，AI芯片、论文、人形机器人全面领先，点击查看详情。[详细]
-
行业首次！华为小艺AI以满分42分摘得IMO 2026金牌
华为小艺AI Agent在IMO 2026以满分42分摘金，行业首次！深度意图理解、全场景调度，AI突破极限，点击查看详情。[详细]
-
《Unknot! -解结!-》Demo更新：Stable 物理模式与研究模式
《Unknot!》Demo更新！新增Stable物理模式，精准模拟绳结；更有研究模式，游玩扭结问题助力数学研究。即将免费加入正式版，快来体验！[详细]
2026-07-15 03:41:07 -
《娱游暇日》2026-07-04 数学差
数学不好也能玩转六贯棋？《娱游暇日》揭秘全新玩法实现，挑战智力与策略，快来试试你的进度能否加快！[详细]
-
挪威小学新学期全面禁止使用生成式 AI 工具
挪威小学新学期全面禁止生成式AI！6-13岁学生禁用，纸质教科书回归课堂，保护儿童阅读、写作和数学基础学习能力。了解全球教育新规，点击查看详情。[详细]
-
《默特术士》周一随笔第57期：以数学为笔
《默特术士》开发者分享：如何用数学公式从零构建Unity角色取色器与法力闪焰特效，纯数学实现色相环与SV三角形，性能优化高效，游戏开发者必看！[详细]
-
别忘了最后一道大题写个“解”：空白即为零分 非常可惜
高考数学压轴题别留空白！先写“解”字多拿步骤分，2026年考生必看提分技巧，避免零分可惜。央视网推荐考场策略，压轴题这样答不丢分。[详细]
-
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
16名数学家联合起草《莱顿宣言》，警告AI正挑战数学研究的可靠性与信任！揭示五大威胁：虚假证明、署名缺失、资源差距、宣传夸大、议程偏移。数学界如何应对AI冲击？点击了解详情！[详细]
-
阿里云千问大模型 Qwen3.7-Max-Preview 首发亮相 Arena AI
阿里云Qwen3.7-Max-Preview首发亮相Arena AI！旗舰模型性能领先，文本领域排名第13，数学第7，编程第10。5月20日阿里云峰会正式发布，点击了解详情！[详细]
2026-05-19 08:07:59 -
AI超过人类状元！ChatGPT最高分横扫日本顶尖大学考试
ChatGPT在日本顶尖大学入学考试中击败人类状元！数学满分，医学考试超50分，2024年突破性表现。点击了解AI如何横扫东京大学、京都大学考试。[详细]
-
华人女性数学家王虹、唐云清斩获数学界「奥斯卡」，分别解决百年难题与实现 45 年来的重大突破
华人女性数学家王虹、唐云清斩获数学界奥斯卡！王虹解决百年挂谷猜想，唐云清实现45年数论突破。2026突破奖详情揭秘，华人学者闪耀国际数学舞台。[详细]
-
务工家庭走出 00 后天才！退学造 110 亿独角兽，终身教授辞职追随
00后天才洪乐潼退学造110亿AI独角兽Axiom！MIT数学神童让AI推理可验证，终身教授辞职追随，揭秘AI超级智能新突破。[详细]
-
高考志愿怎么填！黄仁勋：英语和基础理科很重要
黄仁勋揭秘AI时代高考志愿填报：英语与基础理科是核心竞争力！掌握AI工具成关键，文科生也能逆袭。点击了解如何成为AI时代的赢家。[详细]