Unverified50% confidenceOpinionExact time
Most mathematical breakthroughs claimed by AI companies currently have not undergone formal verification and remain at the stage of natural language description
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedThe author argues that predictions of AI writing nearly all code in the short term are not valid and will not be realized in the near term.70% similarUnverifiedA recent mathematical breakthrough achieved by an AI system has sparked controversy in academic and technical circles.70% similarUnverifiedCode produced by AI often lacks the design-intent comments that naturally form when humans write code, and its long-term maintainability is an open question without consensus in the industry.69% similarUnverifiedAccording to analysis by Yicai, domestic AI programming tools are still in the stage of matching basic capabilities, and there remains a gap compared to Claude in advanced engineering capabilities.69% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/903837API
curl https://kongchang.com/api/v1/knowledge/claims/903837MCP
get_claim(id=903837)