Unverified50% confidenceFactExact time

The currently widely used version of Lean is Lean 4.

1

Sources

50%

Confidence

Medium-term (~90 days)

Relevance

9/6/2026

First Seen

Valid until: 12/5/2026

Sources

Fermat's Last Theorem Machine Verification Complete: A Milestone Breakthrough in AI Formalization

Related Entities

Related Claims

Unverifiedgemma-4-26b-a4b 模型名称中的 'a4b' 表示该模型采用了混合专家（MoE）架构，激活参数量约为4B52% similar Unverified2024年以前主流模型在SWE-bench上的通过率普遍低于5%，Claude 3.5系列发布后跃升至49%（SWE-bench Verified子集）50% similar Unverified据视频对比数据，V4 Pro在智能水平上与GLM 5.2相当且价格略低50% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/866125

API

curl https://kongchang.com/api/v1/knowledge/claims/866125

MCP

get_claim(id=866125)