OpenAI发布两款多模态推理模型o4-mini、满血版o3
在今天凌晨1点的技术直播中，OpenAI正式推出其最新且最强大的多模态模型o4-mini和满血版o3。这两款模型具备独特优势，不仅能同时处理文本、图像和音频，还可作为智能体自动调用网络搜索、图像生成、代码解析等工具，并且拥有深度思考模式，能在思维链中思考图像。OpenAI公布的测试数据显示，o4-mini表现卓越。在AIME2024和2025测试中，其准确率分别达到93.4%和92.7%，甚至超越
月之暗面Kimi开源数学定理证明模型Kimina-Prover
Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7B 模型以及修订过的 miniF2F 基准测试数据集。Kimina-Prover 是由 Numina 和 Kimi 团队联合研发的一款数学定理证明模型，它在形式化定理证明领域采用了一种新颖的、由推理驱动的探索范式，
OpenAI开源超Agent:Codex CLI,五小时内破 5000 颗星
OpenAI 正式发布了其最新开源项目 Codex CLI，这是一款轻量级的代码智能体工具。该工具的发布迅速引起了极大的关注，仅在短短5小时内，Codex CLI 便突破了5000颗星的评价，预计今天有望突破1万颗星，迅速成为 Github 上的一颗新星。OpenAI 的联合创始人兼总裁 Greg Brockman 表示，Codex CLI 只是他们代码工具系列的第一款，未来将继续推出更多的智能体
义乌商城集团接入阿里通义大模型 将打造“AI智能经营助手”
义乌商城集团宣布正式接入阿里通义大模型，结合阿里巴巴在云计算、大数据和电商等领域的优势，帮助210万中小商家利用 AI 技术实现精准经营并快速拓展海外市场。此次合作标志着义乌商城集团在数字化转型和全球化布局方面迈出了重要一步，也展现了阿里巴巴在推动中小企业数字化转型中的重要作用。义乌商城集团旗下的 Chinagoods 平台覆盖超过1200万种产品，服务7.5万家实体商铺及210万家中小微企业。通
上海人工智能实验室开源小语种多模态数据集万卷·丝路2.0
由上海人工智能实验室发布的“万卷·丝路2.0”多语言多模态语料库正式开源。该语料库在原有的阿拉伯语、俄语、韩语、越南语、泰语等5个语种基础上，新增了塞尔维亚语、匈牙利语、捷克语3个稀缺语料数据，涵盖文本、图片、音频、视频四大模态，数据总量超过1150万条，音视频时长超过2.6万小时，成为小语种多模态领域的重要资源。“万卷·丝路2.0”具有多语言、大规模、多模态、高质量的特点。它不仅扩充了语种数量，
OpenAI深夜上线o3满血版和o4 mini - 依旧领先。
声明:本文来自于微信公众号数字生命卡兹克，授权站长之家转载发布。晚上1点，OpenAI的直播如约而至。其实在预告的时候，几乎已经等于明示了。没有废话，今天发布的就是o3和o4-mini。但是奥特曼这个老骗子，之前明明说o3不打算单独发布要融到GPT-5里面一起发，结果今天又发了。。。ChatGPT Plus、Pro和Team用户从今天开始将在模型选择器中看到o3、o4-mini和o4-mini
OpenAI发布o3、o4 mini模型，实现“看图说话”，糊图也行！
“这是OpenAI迄今最强、最智能的模型。”OpenAI 发布了能够识别、分析草图、图表、海报等信息的推理专用AI模型……站长之家(ChinaZ.com) 4月17日 消息:OpenAI 当天宣布正式推出具备图像识别能力的主力推理专用 AI 模型 “o3” 以及轻量化模型 “o4 mini”。其中，o3 是 OpenAI 去年首次公开的推理模型 o1 的后续产品。在此之前的今年 1 月，Ope
原神之后，蔡浩宇的 AIGC 游戏野望
声明:本文来自微信公众号“刺猬公社”（ID:ciweigongshe），作者:树茂，编辑:园长，授权站长之家转载发布。2024年8月，蔡浩宇在社交媒体就AIGC与游戏开发的话题发表了自己的看法，“将来只有两种类型的人在创造游戏时才有逻辑意义:1.0.0001%的顶尖人才，他们拥有最深刻的理解和卓越的设计技能，组成精英团队，创造出前所未有的东西。2.99%的业余爱好者，他们可以在心血来潮时创造出
首次实现图像思考 OpenAI重磅发布o3/o4-mini：史上最强、最智能模型
快科技4月17日消息，今日，OpenAI新款AI模型o3、o4-mini重磅发布，这是OpenAI迄今最强、最智能的模型。据了解，OpenAI o3/o4-mini首次具备真正的视觉推理能力，看图识图已经是小菜一碟了，现在还会看图思考。OpenAI o3/o4-mini能同时处理文本、图像和音频，并且能作为Agent智能体自动调用网络搜索、图像生成、代码解析等工具以及深度思考模式。通过强化学习