Unverified50% confidenceFactExact time
The team of Professor Dong Bin and Academician Liu Ruochuan of Peking University completed the formal verification of all four main theorems of this paper, the entire process taking only about 5 days, with peak concurrency reaching 100 agents and producing about 550,000 lines of Lean code.
1
Sources
50%
Confidence
Long-term
Relevance
10/15/2026
First Seen
Sources
Related Entities
Related Claims
Unverified2023年陶哲轩主导的Polynomial Freiman-Ruzsa猜想证明在AI辅助下仅数周内完成形式验证63% similarUnverifiedThis 100-episode large model tutorial series was recorded by a big-tech engineer who claims to have five years of large model technical experience, and took three months to produce in total.62% similarUnverifiedOpenAI's Navier-Stokes proof was allegedly completed by an internally unreleased model, running approximately 10,000 AI agents in parallel, taking 88 hours, producing a 166-page manuscript, and releasing a Lean formal verification.62% similarUnverifiedIn a data center cooling system demonstration, Catalyst computed 52 derivatives and all 105 independent verification points passed, with a total elapsed time of 1.37 seconds.61% similarUnverifiedThe seL4 microkernel completed the verification of approximately 10,000 lines of C code in about 10 person-years.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1033832API
curl https://kongchang.com/api/v1/knowledge/claims/1033832MCP
get_claim(id=1033832)