Get excited.
“For centuries, science scaled with the number of scientists. Soon, it will scale with compute and a lot of compute is coming online!”
Nicolas Bustamante (@nicbstme)
Well, if anyone still needed proof that every verifiable domain will eventually fall to AI, this feels like it.We’re not talking about a model built specifically for mathematics. It’s a general model proving genuinely new theorems.
The craziest part isn’t even today’s result. It’s that the same level of capability that costs a few thousand dollars today will likely cost a few cents in a few years. Once that happens, we’ll have millions of these systems searching for new knowledge 24/7 across math, physics, biology, chemistry, and every other domain where ideas can be verified.
For centuries, science scaled with the number of scientists. Soon, it will scale with compute and a lot of compute is coming online!
— https://nitter.net/nicbstme/status/2083467611229049294#m