搜索关键词 数学研究
AI & Enterprise
OpenAI设立数学与AI外部顾问组，评估成果并协调发布
OpenAI宣布在美国新泽西州普林斯顿高等研究院设立数学与AI外部顾问组，负责评估AI在数学研究中的成果及其学术意义，并就对外发布的时间和披露方式提供建议。此举被视为回应学界围绕成果验证、署名归属等问题的担忧。
AI & Enterprise
Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期
Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。
AI & Enterprise
Anthropic未公开模型助推黎曼猜想研究：已验证成立范围下界大幅提高
Anthropic一款尚未公开的AI模型在黎曼猜想研究中取得新进展，大幅提高了该猜想已验证成立范围的下界。尽管这一成果尚不足以构成对黎曼猜想的一般性证明，但显示出大模型已具备接近真实科研的推进能力。研究过程中，模型在约一天半内自主调度任务，测试650种思路，调用60个子代理，并累计消耗3100万token。
