Maybe because cryptography is funded better than the rest of math.
The big AI companies spend millions on some of these proofs (15M was one estimate for the Naiver-Stokes thing). Had anyone has spent millions on them before this? There was a 1M prize but that certainly wouldn't convince anyone to spend orders of magnitude more to solve the problem.
Meanwhile the three letter agencies are spending billions on cryptography. They have programs that recruit students starting in high school. So maybe they are sending the spooks to suppress OpenAI's cryptography breakthroughs, or maybe they just already outspent them.
That to me is the point that isn't getting enough attention: pure math isn't that well funded. I agree as much as anyone that these proofs are an unprecedented breakthrough for LLMs, but let's keep in mind that the money they are throwing around is also unprecedented.
The big AI companies spend millions on some of these proofs (15M was one estimate for the Naiver-Stokes thing). Had anyone has spent millions on them before this? There was a 1M prize but that certainly wouldn't convince anyone to spend orders of magnitude more to solve the problem.
Meanwhile the three letter agencies are spending billions on cryptography. They have programs that recruit students starting in high school. So maybe they are sending the spooks to suppress OpenAI's cryptography breakthroughs, or maybe they just already outspent them.
That to me is the point that isn't getting enough attention: pure math isn't that well funded. I agree as much as anyone that these proofs are an unprecedented breakthrough for LLMs, but let's keep in mind that the money they are throwing around is also unprecedented.