1 🤖 AI·大模型 量子位 2026-06-20 💬 陶哲轩12年前的预言，现在AI帮他兑现了 陶哲轩12年前的预言成真：AI+人类协作48小时攻克2200万数学难题，形式化证明迎来里程碑。 全球最聪明的人之一，成了AI最狂热的布道者 陶哲轩 年前的预言 现在 帮他兑现了 ai协作
2 🚀 产品观察 IT 之家 2026-05-28 💬 树莓派：12 年前的 Raspberry Pi 1 B+ 当下年出货规模仍有数千块 IT之家 5 月 28 日消息，Raspberry Pi（树莓派）官方当地时间本月 21 日在 Reddit 上举行了一次 AMA（问我任何事）活动，回答了网友对这一知名单板计算机 (SBC) 项目的最新提问。 IT之家注意到，树莓派官方称其 仍在以每年数千块的规模出货 Raspberry Pi 1… 树莓派 年前的 当下年出货规 模仍有数千块