Unverified50% confidenceEventExact time
Anthropic announced that its AI model Claude operated largely autonomously for 11 days and successfully formalized Fermat's Last Theorem in Lean.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/12/2026
First Seen
Valid until: 12/11/2026
Sources
Related Entities
Related Claims
UnverifiedOpenAI'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.63% similarUnverifiedA year ago AI models could only reliably work continuously for a few minutes, whereas today Agents can run continuously for hours62% similarUnverifiedOpenAI announced that approximately 10,000 AI agents spent roughly 88 hours finding a proof related to the Navier-Stokes equations problem.61% similarUnverifiedThe Onyx project had 120 automated research agents discover a physical model for a robotic actuator within 1.5 hours, completing research work that traditionally takes weeks.60% similarUnverifiedAnthropic launched Claude Reflect Beta, which can analyze the themes, frequency, and task types of a user's AI usage over the past 1 to 12 months.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/914384API
curl https://kongchang.com/api/v1/knowledge/claims/914384MCP
get_claim(id=914384)