产品应用8

实测GPT-5 Pro：OpenAI顶级模型实至名归

新智元2025-08-09

AI 摘要

新智元实测GPT-5 Pro，其在编程、数独求解、数学问题等多方面表现优异，远超部分竞品。网友也玩出花样，对其称赞有加。OpenAI还给出提示指南，方便用户使用。

关注公众号

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

公众号专辑

OpenAI悄悄上架生命科学新模型

本文报道OpenAI在API价格页悄然上线未正式发布的生命科学新模型gpt-rosalind-discovery，梳理OpenAI Rosalind产品线布局，对比头部厂商路径，分析AI+药物发现赛道商业化的机遇与挑战。

本文报道OpenAI攻克千禧年数学难题纳维-斯托克斯方程事件，探讨AI生成证明超出人类认知上限的现状，剖析AI对传统科研范式、学术体系的冲击与伦理困境

OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。

本文报道OpenAI一次性放出722篇AI生成的重大数学难题证明，引发全球数学界震动，美国CS教授称其为数学末日，数学家联合抵制OpenAI，学界观点撕裂，揭露了AI给数学界带来的巨大冲击和争议。