And this comes from a theoretical physicist.
Another Math win for AI. 2 conjectures from the 80s and one from 2002 all died this week. and this is the slowest AI math will ever be. Any problem with a checkable answer can be potentially solved at the speed of inference. Mathematical knowledge has always grown at the pace of human patience, but now that has been replaced with compute, and compute compounds.