If you see three ants in the kitchen the day after you move in, the best estimate of the number of ants in the kitchen is much more than three -- you just haven't seen them yet.
The math peer review process can take months/years to decide on the correctness of a solution -- especially those written as sloppily as these AI proofs. Let's see what the numbers are once the dust settles -- how many of the 700 are correct, and how many of those are valuable.
The math peer review process can take months/years to decide on the correctness of a solution -- especially those written as sloppily as these AI proofs. Let's see what the numbers are once the dust settles -- how many of the 700 are correct, and how many of those are valuable.
----
We're seeing the math analogue of this: https://www.nbcphiladelphia.com/news/local/anthropic-ai-mode...