A recent claim by OpenAI regarding a disproof of a 1998 Ethereum proposal has generated significant surprise, with one of the original co-proposers calling it "very shocking news." The proof, which has reportedly passed checks by both OpenAI and Anthropic, has been met with skepticism from experts who suggest its computational complexity is only surpassed by brute force methods beyond approximately 10^2,389 variables. AI
IMPACT Raises questions about the practical applicability and verification of complex AI-generated proofs in specialized fields.
RANK_REASON The item discusses a claim made by OpenAI and reactions to it, rather than an official release or product announcement.
Read on Mastodon — mastodon.social →
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →