13个曾被认为AI无法解决的ARC-AGI-2任务，被TranscendPlexity全部攻克，AI推理能力新突破。
Article URL: https://github.com/GitMonsters/13-Impossible-ARC-Tasks-SOLVED Comments URL: https://news.ycombinator.com/item?id=48240243 Points: 1 # Com…
混合专家模型搬上太空网络，分布式推理的硬核尝试，论文新思路值得关注
arXiv:2605.00515v2 Announce Type: replace-cross Abstract: Leveraging continuous solar energy harvesting at high efficiency, space data centers are env…
联想CEO杨元庆预测AI基础设施将从训练为主转向推理为主，GPU服务器比例将彻底反转。
IT之家 5 月 22 日消息，据《科创板日报》今日报道，联想集团董事长兼 CEO 杨元庆在财报业绩沟通会上表示，AI 基础设施正在爆发式增长，从训练向推理的转移速度非常快。 他提到，目前 AI 基础设施 GPU 服务器 70%、80% 的用于训练，只有 20-30% 用于推理。相信未来会反过来， …
OpenAI GPT-5一口气攻克10个80年未解的Erdős数学难题，AI推理再破人类认知天花板
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarra…
阿里Qwen3.7-Max是国产最强AI模型，性能全球前五，可通过阿里云百炼API调用，高效应对复杂推理与文本生成任务。
Qwen3.7-Max即将上线阿里云百炼对外提供API服务
OpenAI模型推翻离散几何核心猜想，AI在科学发现中展现惊人潜力
OpenAI Model Disproves Central Conjecture in Discrete Geometry Meta Description: An OpenAI model has disproved a central conjecture in discrete geomet…
AI模型推翻数学猜想，证明离散几何核心猜想错误，引发学界热议。
https://x.com/wtgowers/status/2057175727271800912 , https://xcancel.com/wtgowers/status/2057175727271800912 Comments URL: https://news.ycombinator.com…
2026年AI推理成本将飙升，GitHub Copilot率先转向用量计费，企业预算面临调整。
Article URL: https://blog.herlein.com/post/ai-inference-costs-reality-check/ Comments URL: https://news.ycombinator.com/item?id=48211362 Points: 1 # C…
提升观察精度反而降低问题解决能力——这项研究挑战了具身LLM的传统认知，揭示保真度与推理之间的意外权衡。
arXiv:2605.20072v1 Announce Type: new Abstract: Large Language Models are increasingly proposed as cognitive components for robotic systems, yet their…
AI首次挑战80年几何猜想，数学探索迎来新突破。
IT之家 5 月 21 日消息，OpenAI 称其全新推理模型推导出了一个原创数学证明，推翻了几何学中一道著名的未解猜想。该猜想最早由保罗・埃尔德什于 1946 年提出。 IT之家注意到，OpenAI 已不是第一次放出这般大胆的言论。七个月前，这家人工智能巨头前副总裁凯文・韦尔在社交平台 X 上发文…
美团开源LongCat-Flash-Prover，AI数学定理证明新SOTA，MiniF2F通过率97.1%
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …
多模态大模型在空间智能上的突破，赋予AI更强的视觉感知与推理能力。
arXiv:2505.23747v2 Announce Type: replace-cross Abstract: Recent advancements in Multimodal Large Language Models (MLLMs) have significantly enhanced …
Qwen3.7-Max-Preview 和 Plus 预览版同时上线，大幅提升复杂推理与响应速度，MoE 架构再次刷新能力上限
文本领域、视觉领域双双国产第一
比利时Imec推出专为AI设计的3D CCD内存，融合DRAM速度与NAND密度，有望突破AI推理中的“内存墙”瓶颈。
IT之家 5 月 19 日消息，比利时研究机构 Imec 于 5 月 12 日发布博文，展示了一种 3D CCD 内存架构， 目标结合 DRAM 的高速度与 NAND 闪存的存储密度，提升 AI 推理性能。 针对当前 AI 加速器常见的“内存墙”（算力还在等数据，无法持续处理 Token）瓶颈，Im…
OpenAI推理模型助力Descript实现大规模多语言视频配音，自动本地化保留原意与节奏。
Using OpenAI reasoning models, Descript unlocked automatic localization of large content libraries without losing timing or meaning.
给MacBook Air外接RTX 5090？实测游戏与AI推理性能，颠覆你对轻薄本上限的认知。
Article URL: https://scottjg.com/posts/2026-05-05-egpu-mac-gaming/ Comments URL: https://news.ycombinator.com/item?id=48137145 Points: 684 # Comments:…
固定费用无限次调用Blackwell GPU的LLM推理服务，新西兰AI Foundry推出。
Article URL: https://app.aifoundry.co.nz/auth/login?redirectTo=%2F Comments URL: https://news.ycombinator.com/item?id=48176428 Points: 1 # Comments: 0