An Amateur Mathematician Asked AI to Solve a 60-Year-Old Problem. It Did.
A retired teacher with no advanced mathematics training used a publicly available AI assistant to crack a combinatorics problem that had stumped professional mathematicians since 1964. The result is being verified by experts — and it's raising profound questions about the future of mathematical research.
