密歇根州立大学物理学家Stephen Hsu刚刚在《Physics Letters B》上发表了一篇量子物理论文，核心思想由GPT-5从零提出，这可能是第一篇主要想法来自AI的理论物理研究论文。作者本人也在社交媒体上确认了这一点：
走上了堪称是“最佳 AI 转型路径”之后，他也在读研期间和合作者针对 AI 记忆开展了一项研究，借此发明出一种名为 LightMem（轻量记忆）的技术。在 LongMemEval 和 LoCoMo 这两个专门用于考察 AI 长期记忆能力的基准测试上，LightMem 回答问题的准确率全面超越之前的冠军模型，最高提升了 7% 以上，在某些数据集上甚至提升了将近 30%。
在AI浪潮中，博士学位正成为创业者的新宠，取代了传统的MBA文凭。昔日辍学神话渐成例外，如今的技术精英们凭借科研深度，引领小型高效团队迅速崛起。
能写作策划、能生成PPT，还能在线编辑，最关键的是：还能白嫖～刚刚，阿里千问悄悄把办公和写作能力升级了一遍：文档生成、智能排版、在线编辑、多格式转换全都打包进一个入口里：
优理奇机器人（UniX AI）近日宣布完成两轮合计3亿元天使++++轮及天使+++++轮融资，由川商基金、吴中金控、益华资本、青域基金、太浩创投等机构，以及若干上市公司及产业方参与投资，老股东赛纳资本追加投资。
一年一度的英伟达奖学金出炉了。二十五年来，英伟达研究生奖学金计划（NVIDIA Graduate Fellowship Program）一直为研究生提供与英伟达技术相关的杰出工作支持。
2025 年 12 月，硅谷风险投资机构 Andreessen Horowitz（简称 a16z）与 AI 推理服务平台 OpenRouter 联合发布了一份名为《State of AI》的研究报告。这份报告基于 OpenRouter 平台上超过 100 万亿 token 的真实用户交互数据，试图呈现过去一年间大语言模型在实际应用中的真实状态。
确实也是轰动数学和AI两界了。因为就在最近，世界级顶尖数学家宣布辞职，前往硅谷，全职加入AI初创公司——这家公司，还是自己学生创办的——一个24岁00后华人女生。吸引他的这家公司，也不是等闲之辈，而是硅谷新贵——Axiom，一家主打AI数学的明星公司。
来自中国的初创团队词元无限给出了自己的答案。由清华姚班校友带队设计开发的编码智能体 InfCode，在 SWE-Bench Verified 和 Multi-SWE-bench-CPP 两项非常权威的 AI Coding 基准中双双登顶，力压一众编程智能体。
近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。值得关注的是，这些证明均通过 Lean 验证，Lean 的特点是其形式化证明过程无需人工干预，为数学正确性提供了保障。
