“AI for Math时刻”能否复制？学界热议AI4S跨学科落地的表征瓶颈与系统解法
上海人工智能实验室主任、首席科学家周伯文在2026浦江创新论坛人工智能赋能科学研究专题论坛上这样表示。这一判断背后，是AI for Science正从单点工具向体系化能力建设转变。
不限时免费，全球榜单前十AI Lab开放全模态API，我先替你测了
有初创公司CEO甚至把Anthropic账单晒在LinkedIn上，当作公司AI化程度的重要证明。在这场日益蔓延的“Token焦虑”中，Agnes AI的举动显得格外扎眼——这家全球榜单排名第九的AI Lab宣布，自6月1日起，旗下全模态模型API无限期免费开放。
华盛顿大学用AI为数学知识建了一张"神经网络"
这项由华盛顿大学数学AI实验室（University of Washington Math AI Lab）主导的研究，于2026年6月24日发表在预印本平台arXiv上，论文编号为arXiv:2606.25363v1，研究领域标注为信息检索（cs.IR）。
突发！腾讯AI Lab撤销，部分人员并入混元
机器之心编辑部今天，机器之心获悉，腾讯 TEG 技术工程事业群组织架构发生了部分调整，AI Lab 被撤销，蒋杰不再担任 AI Lab 主任，但其他管理职责不变。此次调整过后，原 AI Lab 部分人员调整至混元团队向姚顺雨汇报。产学研合作中心保留。
从Visio到Iauto：国产工具如何重新定义“流程图”？
你肯定遇到过这种情况：画流程图用Visio，做思维导图换XMind，搞项目计划又得开甘特图。几个软件来回切换，不仅费钱，还容易打断思路。但最近我发现一款国产软件，居然把这些功能全整合了，还能做数据仿真和AI协作。它就是武汉智优图科技研发的Iauto流程软件。
挑战AI数学推理极限，大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%
最强AI模型面对5560道数学难题，成功率仅16.46%？背后真相大揭秘。
哪有什么“快乐教育”，全世界的孩子都在补课
国庆假期倒计时一天，有多少娃娃能耍满整个假期？尤其是孩子进入中高年级后，补课似乎成了必选项。三天小假或许可以放松放松，但遇到七天甚至更长的假期，想从头到尾耍完整就很难了。这样的节奏，许多家庭都不陌生。
大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%
FormalMATH团队 投稿量子位 | 公众号 QbitAI最强AI模型面对5560道数学难题，成功率仅16.46%？背后真相大揭秘。