财联社12月23日讯（编辑 马兰）OpenAI的GPT项目一直是业界最为关注的话题，然而在该公司近期热火朝天的宣传之中，备受瞩目的GPT-5却消失无踪。去年11月，OpenAI首席执行官奥尔特曼曾强调，不会在2024年推出任何名为GPT-5的模型。
1950年，英国数学家和逻辑学家艾伦·图灵提出了一种测试计算机是否智能的标准，如果AI在与人类互动问答中，让人很难识别出自己非人的身份，那么就通过了测试。艾伦·图灵短暂一生的工作，为后来计算机科学、人工智能、认知科学等诸多领域的发展都产生了深远的影响。
导读:目前最火热的大模型公司莫过于OpenAI。OpenAI首席科学家Ilya Sutskever在接受采访时不断暗示，next token prediction是GPT系列大模型成功的关键，但直到2023年8月，他在伯克利理论计算机科学研究所演讲时才明确透露，GPT的数学依据是所罗门诺夫归纳法。
2月18日，被马斯克称为“地球上最聪明的人工智能”Grok 3推理模型亮相。在benchmark测试中，Grok-3在数学、科学逻辑推理、代码写作方面，取得了比Gemini-2 pro、GPT-4o以及DeepSeek-V3更优的效果。
解放日报 继谷歌发布推理模型后，美国知名人工智能研究公司OpenAI日前推出了最新的推理模型——o3。这个月，在过去的12个工作日，OpenAI每天直播发布一款新产品或新功能，o3正是其最后一天的“重磅发布”。作为一款推理模型，o3有何亮点？
