资讯归档 - 第747页共1078页

奥特曼自曝：GPT-5要来了，所有人免费！DeepSeek逼急OpenAI，最强路线图曝光

2025年2月13日12时作者新智元

-4.5数周发布，成为GPT系最后一个非推理模型。GPT-5将整合o系和GPT系，打造成一个全能系统

2025年2月13日12时作者钛媒体AGI

PT-4.5和GPT-5的路线图消息。
奥尔特曼表示，OpenAI将很快（几周/月内）发布代号为“O

2025年2月13日12时作者机器之心

近日，普林斯顿大学团队开源了用于自动定理证明的形式化推理模型Goedel-Prover，并在数学问题的自动形式化证明生成任务上达到了SOTA。该模型利用大规模形式化定理数据集和专家迭代方法训练，提高了解题正确率并在排行榜中取得优异成绩。

2025年2月13日12时作者 AI寒武纪

是如何一步步从“编程小白”成长为可以和顶尖程序员 PK 的“高手”
竞技编程，可能有些朋友不太熟悉，

2025年2月13日12时作者 AI寒武纪

OpenAI更新其AI模型行为准则，新增可定制性、链式指令优先级、鼓励‘无禁区’讨论等原则，并强调安全底线。同时开源Model Spec，允许开发者自由使用与改进。

2025年2月13日12时作者机器之心

奥特曼在推文中公布了OpenAI的产品路线图，强调将发布GPT-4.5和未来的GPT-5模型，并将其与多种技术整合到ChatGPT和API中。

2025年2月13日8时作者量子位

上海AI Lab/清华哈工大/北邮团队的研究表明，通过改进Test-Time Scaling（TTS）方法，在数学推理任务上提升了小模型的性能。该研究发现最优的TTS方法高度依赖于具体的策略模型、过程奖励模型和问题难度。

2025年2月13日8时作者 AIGC开放社区

文章介绍了GPT-4.5和GPT-5的研发进展及OpenAI即将发布的免费版ChatGPT、整合多种模型的新系统等最新动态。

2025年2月13日8时作者 AI寒武纪

Sam Altman更新了OpenAI的路线图，简化产品线并推出统一的GPT-5模型。GPT-4.5将是最后一个非链式思考模型，而GPT-5将整合所有技术成为一个能处理广泛任务的系统，并且免费用户也能使用。

2025年2月13日8时作者 AIGC开放社区

专注AIGC领域，关注微软、百度文心一言等大语言模型的发展和应用，阿里国际站通过接入先进大模型提升外贸生意效率。