新闻资讯8

OpenAI攻破百道数学难题普林斯顿介入

AI寒武纪2026-09-21

AI 摘要

OpenAI内部新模型攻破100余道悬而未决的数学公开难题，联合普林斯顿高研院成立独立顾问小组评估成果，不干预模型研发，此前多位顶级数学家曾批评AI破坏数学学术生态。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Jev爆火 8个开源OpenJev精选

TypeSafe AI发布的Jev模型凭借新的结构化决策接口迅速爆火，引发社区复刻潮。本文精选整理了8个不同技术路线的开源OpenJev项目，逐一介绍各项目的思路、性能、优缺点与适用场景。

本文介绍闭源决策模型Jev的开源替代品Laya，对比两者性能差异，分析Laya的优势与局限性，给出适用场景，为开发者提供选型参考。

本文报道SpaceXAI发布新款大模型Grok 4.7，该模型定位面向编程与知识工作，主打速度翻倍、价格仅为同类一半，强化长任务处理能力，跑分表现引发网友争议。

OpenAI内部AI模型已解决超100道横跨多领域的长期开放数学问题，包含纳维-斯托克斯千禧年大奖难题。因AI出成果速度远超学界评议能力，OpenAI联合学界成立独立顾问团审查评估成果，回应数学界质疑。