标签： 规则

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … 继续阅读 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

“机器人”是怎样一个产业？几乎是2020年以来除AI之外的重要热点。 日本被调侃“起个大早赶了晚集”，中国有宇树、优必选、众擎，美国有特斯拉、Figure，日本一家能打的都没有。不是号称创新发源地吗？ … 继续阅读 日本为何完全放弃人形机器人？

财联社12月19日讯（编辑 赵昊）OpenAI已在美国多所高校建立起“滩头阵地”，成功化解了大学管理层对人工智能的戒心，让ChatGPT在成为下一代劳动者首选助手的竞赛中抢得先机。 根据媒体查阅的采购 … 继续阅读 OpenAI抢占美国高校：ChatGPT在教育市场率先起跑

就在刚刚，ChatGPT 应用商店已经正式推出。 在 ChatGPT 里的「应用（BETA）」页面里，我们可以看到 OpenAI 按「精选 / 生活方式 / 工作效率」等分类列出多款应用，如 Adob … 继续阅读 突发｜ChatGPT 版应用商店正式上线

儿童电话手表已成为未成年人数字社交圈的载体。电话手表的功能不断迭代，早已突破“定位+通话”的核心功能，搭载了社交模块。点赞、混圈、扩列，一些孩子每天会在这块小小的屏幕上花上几个小时。 当点赞数成为孩子 … 继续阅读 小学生沉迷“刷赞当大佬”，每天花几小时混圈、点赞，有高赞账号卖出上千元！电话手表社交乱象曝光

IT之家 12 月 17 日消息，科技媒体 TechCrunch 昨日（12 月 16 日）发布博文，报道称埃隆・马斯克旗下的 X 平台目前正通过法律诉讼与更新服务条款的双重手段，全力捍卫“Twitt … 继续阅读 马斯克反击“蓝鸟行动”：X坚称从未放弃Twitter商标

快科技12月16日消息，在最近一次接受Hardware Unboxed采访时，蓝宝石的北美公关经理Ed Crisler表示，板卡合作伙伴应获得更大的设计自由度，而非在芯片制造商设定的严格规则下开展工作 … 继续阅读 “请让我们疯狂起来”！蓝宝石公开喊话AMD：放开显卡限制

数据显示，2024年我国网络货运市场规模已突破930亿元，发展势头迅猛。然而，快速增长的背后也暴露出计价模糊、车辆信息混乱等问题，这些问题影响了消费者的货物运输体验。为什么消费者在平台下单后，实际服务 … 继续阅读 既收会员费又抽佣，网络货运平台乱象调查

同一根钢梁，隔了93年。上面坐着的人，彻底换了。 1932年，11个建筑工人在260米高空吃午餐。他们的骄傲写在脸上——这楼，是我们用双手建的。 2025年，《时代》封面给出了答案：年度人物是“AI的 … 继续阅读 新钢梁上的旧问题：马斯克们的方舟与普通人的船票