当Claude说：我先睡8小时，你们自己忙
当Claude说：我先睡8小时，你们自己忙「仿生人会梦见电子羊吗」这下成真了。
来自主题: AI资讯
5805 点击 2025-07-21 13:07
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
「仿生人会梦见电子羊吗」这下成真了。
OpenAI最新模型曝光了，在2025年国际数学奥林匹克竞赛（IMO）上达到了金牌水平！IMO被公认为全球最顶尖的数学竞赛，每年只有不到8%的参赛者能够获得金牌。而现在，一个AI模型做到了。
基于Qwen2.5架构，采用DeepSeek-R1-0528生成数据，英伟达推出的OpenReasoning-Nemotron模型，以超强推理能力突破数学、科学、代码任务，在多个基准测试中创下新纪录！数学上，更是超越了o3!
理想汽车车载大模型荣获由CCIA汽车网络安全工作委员会颁发的《生成内容安全测评证书》，及人工智能生成合成内容标识服务平台颁发的《生成合成内容标识报告》，成为国内首批通过GB/T 45654、GB 45438-2025双国标认证的车企
成立仅8个月已成为最新独角兽，估值飙升至18亿美元。 目前已拥有超230万免费活跃用户、18万付费订阅者，付费用户首月留存率甚至已超ChatGPT。
华强北推出低价AI眼镜，价格78-450元，截胡小米、Rokid等巨头产品。产品分为AI拍摄眼镜和AI音频眼镜，功能基础但销量火爆，月均数千台。厂商快速组装出货，靠价格优势和即买即得吸引消费者尝鲜，性能虽逊但性价比高。行业前景存疑，技术成熟需5年，海外市场更受欢迎。
2025 年 7 月 15 日，韩国游戏创企 Planetarium Labs 宣布，公司旗下 AI 游戏创作分享平台 Verse 8 已正式在 Web 端上线。根据 Planetarium Labs 介绍，在 AI 游戏开发助手 Agent 8 的辅助下，用户可以在 Verse 8 上利用自然语言开发、发行以及分享游戏，不需要下载和安装任何软件/资源。
迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
你可能听说过OpenAI的Sora，用数百万视频、千万美元训练出的AI视频模型。 但你能想象，有团队只用3860段视频、不到500美元成本，也能在关键任务上做到SOTA？
80分钟的一场活动，Agent的“出镜次数”竟能高达217次。 解锁平均20多秒就提一次Agent的，正是云计算一哥，亚马逊云科技。