近日，OpenAI产品技术上动作频频。据报道，OpenAI推出了一款新的人工智能模型“GPT-4o mini”。
该公司称这款新产品是“目前市面上功能最强大、性价比最高的小型聊天机器人”，并计划稍后将图像、视频和音频功能集成到这款产品中。mini版本是GPT-4o的一个分支，是OpenAI推动公司走在“多模态”前沿的一部分。
此外，7月18日凌晨，OpenAI在官网发布了最新技术研究——Prover-Verifier-Games。
随着ChatGPT在法律、金融、营销等领域的广泛使用，确保模型的安全、准确输出同时被很好理解变得非常重要。但由于神经网络的复杂和多变性，人们根本无法验证其生成内容的准确性，这也就会出现输出“黑盒”的情况。
为了解决这个难题，OpenAI提出了全新训练框架Prover-Verifier Games（简称“PVG”），例如，用GPT-3这样的小模型来验证、监督，GPT-4大模型的输出，从而提升输出准确率以及可控性。在这个机制中，Prover（证明者）的任务就是生成内容，而Verifier（验证者）的任务就是判断这些内容是否正确。
此前，据称OpenAI正在开发一种新型人工智能模型，能够提供更加接近类人的推理能力。该项目的代号为“Strawberry”，此前名为Q*。而Q正是去年被爆出OpenAI CEO突然被解雇宫斗大戏的导火索。媒体称，Q可能具备GPT-4所不具备的基础数学能力，或许意味着与人类智能相媲美的推理能力，以及可能代表OpenAI朝着其设定的AGI目标迈出了一大步。
