随着人工智能（AI）技术的不断发展，所谓的“推理”AI模型成为了研究热点。这些模型能够像人类一样逐步思考问题，在特定领域，如物理学中，被认为比非推理模型能力更强。然而，这种优势却伴随着高昂的测试成本，使得独立验证这些模型的能力变得困难重重。

昆仑万维4 月 13 日发文宣布，天工团队在首款中文逻辑推理大模型 Skywork-o1 基础上迭代优化，推出了全新升级的 Skywork-OR1(Open Reasoner 1) 系列模型。据介绍，该系列模型在同等参数规模下实现了业界领先

4 月 14 日消息，据韩国《中央日报》10 日报道，韩国已全面加入大科技公司的人形机器人开发竞赛，目标是到 2030 年成为“全球最强国”。韩国产业通商资源部当日宣布“K-人形机器人联盟”正式成立，集结了 40 余个产学研机构的参与，包括

OpenAI 宣布 GPT-4 将于 4 月 30 日从 ChatGPT 中移除，但仍可在 API 中使用。OpenAI 表示，GPT-4 退役后完全由新型原生多模态模型 GPT-4o 取代。根据官方评估报告，GPT-4o 在写作质量、编程

2025 世界人工智能大会暨人工智能全球治理高级别会议将于 7 月 26 日至 28 日在上海世博中心和世博展览馆举办，本届大会主题为“智能时代同球共济”。1AI查询获悉，自 2018 年以来，世界人工智能大会已连续七年在上海成功举办，汇集

4 月 12 日消息，科技媒体 Android Authority 昨日（4 月 11 日）发布博文，报道称谷歌计划发布 Circle Screen 功能，支持用户圈选屏幕部分内容，实现精准搜索。谷歌近期在 Instagram 上发布了一段

4 月 12 日消息，科技媒体 marktechpost 昨日（4 月 11 日）发布博文，报道称英伟达发布 Llama-3.1-Nemotron-Ultra-253B-v1，这款 2530 亿参数的大型语言模型在推理能力、架构效率和生产准

4月11日，出行科技与服务公司如祺出行(09680.HK)宣布，与低空出行科技生态企业广东高域科技有限公司(下称高域)签订战略合作协议，共同推动低空出行服务商业化落地。如祺出行方面表示，公司正依托智慧出行平台运营经验和优势，打造立体化智能出

当“低空经济”连续两年被写入两会政府工作报告,一场关于未来出行的变革正从蓝图照进现实。作为国内eVTOL(飞行汽车)研发技术领先的企业,沃飞长空近日动作频频:与四川航空集团签署战略协议,携手中国民用航空飞行学院(中飞院)共建全国首个eVTO

4 月 11 日消息，近期网络上流传所谓“广西南宁天然气涨价”的不实图片，引发当地群众议论和网民质疑，公安机关网安部门立即开展网络谣言打处工作。1AI参考官方通报，经查，该信息由网民郑某发布。郑某使用某 AI 工具，提出带有“南宁”“燃气”