Anthropic has apparently generated a formal proof for the percolation conjecture, a long-standing mathematical problem. The proof, created using Claude and documented in a GitHub commit, is currently undergoing AI
RANK_REASON [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →