OpenAI模型破解80年前Erdős几何猜想：125页AI证明获数学界认可
OpenAI最新模型自主完成了对Erdős提出的几何猜想的证明，生成长达125页的新证明文件，并获得专业数学家的验证。这一成果被视为AI在纯数学领域的重要里程碑，展示了其通用推理能力的显著提升，在社交媒体X上引发广泛讨论。事件凸显了AI从辅
AI推理 相关资讯
Groq推进新一轮融资 与Nvidia合作扩展AI推理云服务
Groq公司正积极寻求新一轮融资，同时与Nvidia展开合作以扩展其AI推理云服务。此举标志着AI芯片领域竞争进一步加剧，吸引了市场广泛关注。分析人士认为，这将推动推理计算基础设施的创新与发展，对整个AI生态系统产生深远影响。
Modal Labs 3.55亿美元C轮融资 5倍ARR增速领跑serverless GPU
Modal Labs于5月21日宣布完成3.55亿美元C轮融资，估值46.5亿美元，由Redpoint Ventures和General Catalyst领投。过去一年其ARR从6000万美元跃升至3亿美元，实现5倍增长。公司serverl
OpenAI称AI自主破解埃尔德什猜想 数学家验证后真伪辩论升级
2026年5月20日OpenAI发布内部通用推理模型，声称自主发现无限构造族改进埃尔德什平面单位距离猜想，数学家已验证。支持者视为AI突破重大开放问题，反对者质疑证明可重复性。本文基于已确认事实，结合X平台与Google核验来源，深入剖析异
OpenAI o1模型数学能力争议：幻觉问题挑战AI基准测试有效性
OpenAI o1-preview模型在数学基准测试中创下新高，却在用户复杂问题测试中频现幻觉，多位AI专家质疑其真实能力。Sam Altman回应模型仍在迭代中。该话题X帖互动破百万，引发AI评估标准大讨论。
NVIDIA DGX Spark 深度评测：本地 AI 推理新标杆
NVIDIA DGX Spark 是一款紧凑型一体机，将超级计算级性能带入桌面工作站。通过 NVIDIA 早期访问计划，我们深入测试了这款设备。它搭载 GB10 Grace Blackwell Superchip，提供 128 GB 统一内
SGLang 当日即支持高效开源 Nemotron 3 Nano 混合 MoE 模型
SGLang 快速集成 NVIDIA 最新发布的 Nemotron 3 Nano 模型，该模型采用混合 Transformer-Mamba 架构与 MoE 设计，总参数 30B、激活参数仅 3.6B，支持 1M 上下文长度。在 NVFP4
OpenAI o1-preview限额风波：强大推理能力遇上可用性瓶颈
OpenAI最新模型o1-preview因每日使用限额迅速耗尽，引发用户强烈不满。X平台吐槽帖超3万，付费用户质疑性价比。Sam Altman回应称正优化中，此事暴露大模型高推理成本难题，引发可持续商业模式讨论。（98字）
OpenAI o1-preview推理链曝光：AI思考过程透明化革命
OpenAI推出o1-preview模型，首次公开内部推理链，模拟人类逐步思考方式，在数学和物理基准测试中大幅领先。相关视频在X平台刷屏，互动超40万次。这一透明化机制或将革新AI交互范式，推动行业向更可靠的推理时代迈进。
OpenAI o1-preview模型数学推理突破：ARC-AGI得分83%，刷新AI智能基准
OpenAI近日发布o1-preview模型，在数学和代码竞赛中超越GPT-4o，ARC-AGI基准得分达83%，成为过去24小时X平台最热技术话题。开发者赞其链式推理能力，但API限额引发不满。该模型标志着AI从模式匹配向真正推理范式的转