-
微软造出“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时代的赢家。[详细]
-
陶哲轩：我差点江郎才尽 只因在普林斯顿待了一年
陶哲轩罕见分享普林斯顿经历：数学家需要生活琐事激发灵感！菲尔兹奖得主揭秘AI时代科研新范式，探讨数据驱动与人类智能的互补未来。[详细]
-
00后中国女学霸AI公司获14亿融资！3年修完麻省理工双学位
00后女学霸洪乐潼3年修完MIT双学位，创AI公司Axiom获14亿融资！用数学即服务模式革新金融量化，入选福布斯30 under 30。点击了解天才少女的创业传奇！[详细]
-
00后中国女学霸AI公司获14亿融资！曾3年内修完麻省理工双学位
00后女学霸洪乐潼创AI公司Axiom获14亿融资！3年修完MIT双学位，用AI解决数学证明难题，跻身独角兽企业。点击了解她的传奇故事！[详细]
-
抽象数学公式秒变直观实验：ChatGPT / Claude 本周开启 AI 交互式图表时代
ChatGPT与Claude本周开启AI交互式图表时代！支持70+数学科学概念，将抽象公式变直观实验，实时调整变量，提升学习效率。立即体验！[详细]
-
《三国杀》特邀大嘴教授，解码三国“学科顶流”的传奇智慧
三国杀特邀大嘴教授揭秘三国科技传奇！探索刘徽圆周率、华佗麻醉术、诸葛亮木牛流马等学科顶流智慧，解码乱世隐形英雄的惊人发明！[详细]
-
陶哲轩称 AI 影响数学教学，学生每周作业首当其冲
陶哲轩与OpenAI高管探讨AI对数学教学的影响，学生每周作业首当其冲。AI已摘掉数学差生标签，正改变研究范式与教育评估。点击了解详情！[详细]