2 月 2025 - 第152页共241页

GPT-4.5马上发布，GPT-5免费畅聊！奥特曼剧透大动作，网友：让DeepSeek整破防了

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

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

2025年2月13日12时作者智东西

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

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时作者 PaperWeekly

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

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

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

2025年2月13日12时作者 PaperWeekly

图神经网络、协同感知
论文题目：
SAMGPT: Text-free Graph Foundati

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

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

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

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