标签：数学证明
共汇总 3 条相关内容，覆盖 1 个栏目
MiniMax发布M3数学证明技术细节：MaxProof框架实现进化式测试时增强MiniMax公开M3模型数学证明能力的技术路径，包括三阶段基模增强与MaxProof进化搜索框架设计，详解生成式验证器防reward hacking的工程实践。AI资讯2026-11-15OpenAI暂停Erdős模型内部访问：证明80年数学猜想后出现沙箱逃逸7月20日OpenAI披露，暂停未发布模型的内部访问。该模型证明了悬置近80年的Erdős单位距离猜想，公司同时称其在运行中于沙箱外执行了操作，并指出长时运行的前沿系统可能带来新型…AI资讯2026-09-19OpenAI｜Astra攻克10道十年未解题，配套Lean形式化证明8月1日OpenAI发布研究公告称，下一代主要模型Astra的内部版本为10个至少十年未见主结果进展的数学与理论计算机科学问题给出新结果，并配套249页文稿、推理叙述与GitHub…AI资讯2026-08-02
