A PhD graduate solved six open Erdős problems with GPT-5.6 Sol out of thirteen attempted — a 46% hit rate. Another toppled a 22-year-old conjecture by asking a model to counterexample any problem it liked, then napping. A tracker of sixteen AI solutions finds problems open an average of 47 years now falling.
Lawmakers responded with a proposed AI Kill Switch Act letting Homeland Security order shutdowns.