排序
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。
34天前
消息称微软、优步等巨头重估 AI 成本，Token 用量暴涨未必换来有用功能
科技媒体 Tom's Hardware 昨日（5 月 27 日）发布博文，报道称微软、Uber 等科技公司已重新审视 AI 使用成本，词元（Token）消耗暴的背涨后，并没有换来预期的有用功能。
32天前
澳大利亚一软件公司因转向 AI 裁掉数千名员工，CEO 收到暴力威胁
WiseTech 创始人 Richard White 向员工发送邮件，并在邮件中披露了相关情况。此前，该公司已经遭遇数起“严重且令人深感担忧”的个人攻击事件。
30天前
IT早报 0531：微软宣布下周携手英伟达开启 PC 新时代；深圳网约车市场已饱和官方发风险提示；苹果 iPhone 18 机模曝光；MiniMax 启动 A 股 IPO 进程…
“IT早报”时间，大家好，现在是 2026 年 5 月 31 日星期日，今天的重要科技资讯有：
29天前
nova 16 系列搭载 HarmonyOS 6.1 发布，鸿蒙生态打造年轻用户喜爱的智慧生活
nova 16 系列搭载 HarmonyOS 6.1，针对年轻用户在智慧学习、社交创作、影音体验、游戏娱乐四大场景进行深度优化。从课表一键导入、AI 解题到 3D 动态照片、无损空间音频，鸿蒙生态正通过软硬件...
28天前
广东省教育考试院：“用 AI 批卷”为不实传言
网传广东高考将用 AI 批卷，官方证实为谣言。实际上，AI 技术用于考场实时巡查，监测传递物品、监考员分心等 12 种不当行为并预警。高考期间，部分 AI 平台的涉考功能将被限时管控，但日常功能...
27天前
黄仁勋回应 AI 威胁论，称现在是软件公司的“绝佳时代”
媒体 AOL 昨日（6 月 1 日）发布博文，报道称在 2026 台北国际电脑展上，英伟达首席执行官黄仁勋表示智能体 AI 不会让软件公司出局，反而会增加工具需求，会成为软件公司的“绝佳时代”。
27天前
宇树科技回应与英伟达合作机器人：新产品“H2 Plus”下半年上市
据中新社报道，宇树科技市场部总监黄嘉玮 2 日（今天）透露，该产品将于今年下半年正式上市，其核心特点是搭载了英伟达高性能算力平台，旨在为人形机器人打造更强大的“智能大脑”，最显著的提...
26天前