Ninth-Grader Uses Claude AI to Solve Decades-Old Shape Conjecture

A ninth-grade student has reportedly used Claude AI to prove a 2021 mathematical conjecture that the rhombicosidodecahedron—a 62-faced geometric solid—cannot pass through a hole in itself, completing a computer-assisted proof that checks approximately 12.3 million cases using interval arithmetic.