AI 时代数学的未来：Jeremy Avigad 谈数学研究如何转向
数学家 Jeremy Avigad 在 Convergent Research 支持的科技创新创业会议上指出，AI 已能轻松生成一年前足以发表的研究成果，数学界日常解题工作正被颠覆。他认为数学作为严谨推理与交流的文化不会消失，出路在于借助 AI 攻克更难的问题、提出更大的构想，而非纠结是否还需要数学。
#推理
Hacker NewsAI 评分2626
量子位AI 评分6262 TypeSafe 创始人 Diogo Almeida 谈 Jev 估值 100 亿美元与可编程 AI 路线
TypeSafe 联合创始人兼 CEO Diogo Almeida 在 Latent Space 访谈中回应 Jev 估值 100 亿美元，并称其日处理量已突破一万亿 token。
MIT Technology Review · AIAI 评分6262 AlphaGo 团队成员 Thore Graepel：LLM 并不会推理
前 DeepMind AlphaGo 核心成员 Thore Graepel 撰文指出，当前 LLM 的链式推理仍由同一套下一 token 预测过程生成，不构成真正独立的推理机制。
Latent SpaceAI 评分3434 MIT 的 Alex Zhang 谈 RLM、GPU 内核与智能体集群：学术界的雄心
MIT 研究者 Alex Zhang 在 Latent Space 播客中介绍了其 Recursive Language Models（RLM）等工作，基于 RLM 的 harness 是首个接近解决 ARC-AGI-3 的方案，早于 OpenAI 的 Astra。
Berkeley AI ResearchAI 评分3131 自适应并行推理：高效推理扩展的下一个范式
伯克利 AI Research 发布综述，梳理并行推理从固定结构走向自适应控制的研究进展，即让推理模型自行决定何时分解并并行化独立子任务、生成多少并发线程以及如何协调。