「AI辅助数学」共找到 10017 篇相关文章
时代2025 AI百人榜出炉：任正非、梁文锋、王兴兴、彭军、薛澜等入选，华人影响力爆棚
《时代》周刊发布2025年度AI领域最具影响力100人名单，众多华人入选，如任正非、梁文锋等。文中介绍部分入选者贡献，像任正非推动华为在AI多领域布局，梁文锋带领DeepSeek崛起。
揭秘与评测 30K+ Star 的 Graphify：企业存量系统 AI 编码的"第二大脑"。
文章揭秘评测 30K+ Star 的 Graphify，它能将分散材料转为结构化知识图谱，助 AI 编程助手理解代码。介绍其使用方法、原理，经测试它能提升综合质量、降低探索成本，不过并非万能解药。
14.9g颠覆行业，AI眼镜终于实现无感日常佩戴｜甲子光年
在AI硬件浪潮中，AI眼镜被视为有潜力替代手机的形态。心眸科技发布的AI眼镜Moonix，重14.9克，回归眼镜本质，以“记录”为核心，具备主动式AI能力，能实现“记录 - 理解 - 分享”闭环。
我潜伏进了"年入百万"的AI自习室，发现了一些灰色的秘密。
作者潜伏进AI自习室，发现其生意火热。AI学习机功能普通，价格却高，主要卖点是内置课程。AI督学职责是托管和销售。AI自习室盈利宣传有水分，实则钻政策空子赚教育焦虑的钱。
反击OpenAI&Anthropic，陶哲轩发第3篇长文
本文报道OpenAI、Anthropic等大举推进AI数学研究，菲尔兹奖得主陶哲轩连发三文反击其营销式研究模式，指出AI滥用对数学生态的破坏，提出Math 2.0框架并给出落地案例。
刚刚，Claude独立攻克图论猜想，仅用31步！算法祖师爷高德纳震惊发文
Claude Opus 4.6仅用31步独立攻克图论猜想，算法祖师爷高德纳震惊发文，认为需重新评估生成式AI在数学研究中的作用。这标志着AI在自动推理和解决创造性问题上达到新里程碑。
救命！和漫画角色聊上头了，AI陪伴的新答案有了
快看漫画2.0版本推出AI陪伴互动漫画，将AI嵌入漫画角色，玩家以第一视角改写故事。它解决了AI陪伴产品痛点，靠共同经历和叙事上下文存续关系，还集成多家AI技术，内测数据显示有商业潜力。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
神隐许久的光年之外，造了款AI浏览器Tabbit，能打吗？
浏览器成AI落地重要战场，巨头纷纷布局。光年之外推出Tabbit AI浏览器，集多种功能于一体，深度融合AI能力，已开启公测。实测其功能实用，虽有不足但已改变使用习惯，AI浏览器或重塑人与信息关系。
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
本文报道OpenAI发布数学难题挑战后，人类研究者联合开源社区AI智能体蜂群，仅24小时就将OpenAI第109号整数乘法下界难题的核心参数实现数亿倍突破，展现了人+AI协作的去中心化科研新范式。