what an odd summer it must be for mathematicians.
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
@jamesjan3profilefollowresearcher, developer, dancercontinued:
model releases or internal research by the big AI labs*