2025-02-13 - 第9页共11页

奥特曼剧透 GPT-5 将免费使用！o3 独立发布被腰斩，OpenAI 疑似内涵 DeepSeek

下午12时 2025/02/13 作者 APPSO

OpenAI CEO Altman透露公司即将推出整合o3和其他技术的GPT-5模型，并应用于ChatGPT和API服务。同时，O3不再独立推出，未来的模型将根据用户输入自动选择调用。

下午12时 2025/02/13 作者 Founder Park

的！
发布时间，GPT-4.5几周后面世，GPT-5几个月后面世。
GPT-4.5（代号Orion）

下午12时 2025/02/13 作者新智元

神Karpathy发现，一个😀竟然占用了多达53个token！这背后隐藏着Unicode编码的哪些秘

下午12时 2025/02/13 作者量子位

T-5也快了，且是免费用户也能无限聊的那种！
这是奥特曼刚刚在最新推文中放出的豪言。
这篇推文短短2

下午12时 2025/02/13 作者智东西

OpenAI宣布GPT-4.5和GPT-5路线图更新，并取消单独推出o3模型；增加Deep Research的免费使用次数，提升ChatGPT Plus用户的权限。

下午12时 2025/02/13 作者新智元

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

下午12时 2025/02/13 作者钛媒体AGI

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

下午12时 2025/02/13 作者机器之心

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

下午12时 2025/02/13 作者 PaperWeekly

X-R1 是一个低成本且易入门的强化学习训练框架，旨在降低 R1 的复现门槛。通过使用0.5B预训练模型，在4张3090/4090显卡上仅需2小时就实现了 ‘aha Moment’，展示了极小模型也能触发Aha Moment的现象。

下午12时 2025/02/13 作者 AI寒武纪

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