推理能力共0篇

推理能力 大事记

AIHOT重要进展

资料来源于AIHOT,不代表青峰联创已逐项独立核验。AIHOT专题 ↗

数据校验时间:2026-11-04 18:02:19 UTC;数据待更新,显示最近有效快照

重要进展 IMPORTANT_PROGRESS

2026-09-05 — 2026-09-05
重要进展 · 第 3 / 24 页

  1. 研究
    Claude 完成 Fermat 大定理的形式化证明,生成超 1300 万行 Lean 代码

    AIHOT事件 ↗原始外链未提供

推理能力 精选历史资讯

AIHOT · 精选 · 不计入本站文章

主题归属复核已到期或尚未完成;当前展示上次核验的历史缓存,不代表最新已确认的主题归属。

— · 5 条
精选资讯 · 第 1 / 2 页

Gemini 3.6 Flash 与 3.5 Flash-Lite 正式版发布

Google 发布 Gemini 3.6 Flash 和 Gemini 3.5 Flash-Lite 正式版。3.6 Flash 在复杂智能体和多模态任务上性能更强,输出 token 价格降至 $7.50/1M,支持 1M token 上下文窗口和 Computer Use 工具。

Google AI:DEV 作者专属(RSS)发表于 2026-07-23 17:25归档日期 2026-07-23

UK AISI 与 CAISI 联合评估 Kimi K3 网络安全能力,显著低于前沿模型但超过 GLM-5.2

UK AISI 与 CAISI 对 Moonshot AI 于 2026 年 7 月 16 日发布的 Kimi K3 进行联合网络安全能力评估。在 ExploitBench 上 Kimi K3 得分 32%,高于 GLM-5.2 的 24%,但未能在 41 个样本中实现任意代码执行(ACE),最前沿美国模型平均可达 20/41。

英国 AI Security Institute:Blog(网页)发表于 2026-07-23 07:00归档日期 2026-07-23

开源模型季度盘点:Kimi K3、Qwen 3.8、WAIC 演讲、知识蒸馏与开源闭源差距

Nathan Lambert 与 Florian Brand 在播客中盘点开源模型最新动态。Kimi K3 发布后,中美 AI 地缘政治、开源与闭源模型的经济性、前沿安全等问题加速演进。Qwen 宣布下一代大模型将开源权重,中国厂商在开源策略上持续加码。讨论还涉及开源模型与闭源前沿的性能差距、知识蒸馏争议,以及后训练对特定任务的价值。

Nathan Lambert:Interconnects(RSS)发表于 2026-07-22 22:09归档日期 2026-07-22

归档:AIHOT主题时间 · 北京时间 · 更正时间不改变归档日期