★ 5
OpenAI 称用 1500 万美元 AI 算力解决纳维-斯托克斯千禧年难题
有报道称 OpenAI 借助约 1500 万美元的 AI 算力投入，宣称解决了纳维-斯托克斯方程的千禧年数学难题。若属实将是数学与 AI 交叉领域的里程碑，但此类声明通常需要同行评审验证，目前争议较大。
Hacker News – AI53 天前
#AI推理
共 9 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 4
OpenAI公开数学研究目录
OpenAI发布由内部模型生成的数学手稿与证明工件目录，包含722篇手稿、372个结果族，覆盖多个数学学科。这些结果由未公开的内部模型平均花费3小时ChatGPT Pro思考算力得出，部分结果尚未完成Lean形式化验证。
Lobsters – Machine Learning26 天前
★ 4
推理服务商Modal Labs接近完成7.5亿美元融资，估值157.5亿
据消息人士，AI推理基础设施初创公司Modal Labs正接近完成一轮7.5亿美元融资，估值达157.5亿美元，较四个月前估值增长逾两倍。这反映出市场对AI推理算力基础设施的强烈需求。
TechCrunch AI34 天前
★ 4
英伟达Vera Rubin NVL72首秀MLPerf推理测试领先
英伟达Vera Rubin NVL72在MLPerf Inference v6.1首次亮相并取得领先性能。官方强调系统性能、高效扩展与持续软件优化是决定AI推理经济性的三大杠杆，更高性能意味着更多token产出与更高收入。
NVIDIA Blog – AI46 天前
★ 4
英特尔呼吁打破台积电代工垄断，AI推理推升CPU需求
英特尔CEO陈立武表示，行业必须打破台积电在全球晶圆代工市场的垄断，订单应分散至多家供应商以满足AI芯片增长需求。英特尔将未来押注于代工业务复兴，并称AI推理推动CPU需求激增，将持续造成供应紧张。
36氪46 天前
★ 3
英伟达投资印度创企Simplismart，助企业少用GPU跑AI模型
英伟达投资印度初创公司Simplismart，该公司提供让企业在更少GPU上运行AI模型的软件方案。Simplismart称其年化营收在过去六个月增长14倍，其中美国市场贡献超过一半收入。
TechCrunch AI5 天前
★ 3
中信证券：AI产业重心转向推理与货币化
中信证券研报认为，Anthropic、OpenAI等厂商提出放缓前沿能力提升的倡议，反映头部模型厂商的经营困境与商业算计，监管成本上升反而利好头部厂商。预计行业监管缓慢完善，头部公司将更多聚焦应用落地以平衡财务压力，AI产业重心逐步转向推理与货币化。
36氪25 天前
★ 3
AI 首次击败最强军旗玩家
在信息高度隐藏的军旗（Stratego）游戏中，AI 首次战胜人类史上最强选手，且训练与推理成本相对低廉。该成果展示了在不完全信息博弈中 AI 规划与推理能力的进展。对博弈 AI 与强化学习研究具有参考价值。
Hacker News – AI31 天前
★ 2
TezGrid：利用闲置电脑做AI推理
TezGrid 是一个将闲置计算机算力聚合起来用于AI推理的项目，试图把分散的个人电脑资源变成可用的推理网络。这类去中心化算力方案若可行，或能降低AI推理成本，但面临调度、延迟与隐私等挑战。
Hacker News – AI18 天前