An unreleased AI model from Anthropic has reportedly solved a long-standing quantum computing conjecture in just three days. Researchers at Physical Superintelligence stated that the AI-generated proof establishes a fundamental limit on quantum speedups. The proof has since been formally verified using the Lean proof assistant. AI
IMPACT Demonstrates advanced AI capabilities in complex scientific problem-solving, potentially accelerating research in fields like quantum computing.
RANK_REASON Research milestone involving an AI model solving a complex scientific conjecture. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →