标签
Dan Shipper 宣布 GPT-5.6 Sol Ultra 已全面可用，并分享了一条 Ethan Knight 的推文，称该模型通过64个子智能体在一小时内完成了 Cycle Double Cover Conjecture 的证明。
本文证明了EML树（通过组合表示初等函数）是连续函数及其他函数空间的通用逼近器。证明构建了基本运算的EML表示，并将其用作构建块。
MaxProof 引入了一种测试时缩放框架，该框架结合了证明生成、验证和修复，使用生成-验证器强化学习，使 M3 模型在 IMO 2025 和 USAMO 2026 上超过了人类金牌阈值。
MiniMax 开源了面向大模型数学证明的测试时扩展框架 MaxProof，并发布配套论文。该框架通过演化搜索机制，使 M3 模型在 IMO 2025 和 USAMO 2026 测试集上均达到金牌分数线。
MaxProof 是一个测试时扩展框架，它利用生成验证器和群体级搜索来增强数学证明生成，在 IMO 2025 和 USAMO 2026 上取得了超过人类金牌阈值的分数。
Mythos 使用 Claude 代码解决了最近由 GPT 5.5 处理的单位距离问题，并给出了一个可爱且简单的证明。
2026年12大AI科助系统汇总，包括DeepMind的Co-Scientist发现纤维化候选药物，OpenAI推理模型解决存在80年的几何问题，重点介绍用于生物学、流体模拟和自动化研究的开源工具。