搜索
论文中的一道菜单题，看起来只需要做一次简单加法：一张 Funghi 披萨 6.90 欧元，一张 Prosciutto 披萨 7.90 欧元，总价是多少？
量子计算机，什么时候能帮人们研发新药、找到新材料？
首秀：搭载开物™ L4无人作业套件的临工3004混动拖拉机，悬挂650岸下犁，在新疆芳草湖农场无人深翻，耕深超30+厘米，作业速度11.8km/h。
Kimi 刷新 629 条边图论参考纪录，只多加了1条边，为什么数学界等了这么多年？
Google DeepMind全球开放Gemini 4 Carbon，并以AlphaProof Code驱动AI Agent在四周内为Signal生成逾650万行经机器检查的Lean证明代码，验证其核心实现的安全属性。
MiniMax正式发布并开源图像模型H3 Image，同步开放API，支持最多16张参考图及10至20秒生成4K图像，官方定位为开源图像模型SOTA。
The Information调查显示，20多岁深圳小伙中介韩国HBM3E黑市交易，一叠约4000美元，贸易商借组合芯片绕开出口限制，相关人士称部分华为AI芯片客户采购困难，SK海力士称自2020年起未向华为供货。
小时候想拥有一台 Game Boy，长大后想自己做一款 Game Boy 游戏，没想到 OpenAI 准备同时实现你这两个愿望。
这边 Fable 5.2 刚刚发布，那边网友们就发现 Google 的 Gemini 4 新版本模型就泄露出来了。
又一次，通用大模型在机器人操作领域展现出了惊人的潜力。今天，Anthropic 最新旗舰 Fable 5.2 亮相了！