AiBattle(@AiBattle_):OpenAI spend hundreds of million of dollar in compute on math proofs and they have much more than the 700 math proofs they have shared publicly Sam also shared that solving Navier-Stokes cost them roughly 10 million Sam: "That includes much more other discovery than what we have published" John Collison: "Way more than the 700 proofs?" Sam: "Of course."

2026.10.29 13:43

OpenAI spend hundreds of million of dollar in compute on math proofs and they have much more than the 700 math proofs they have shared publicly Sam also shared that solving Navier-Stokes cost them roughly 10 million Sam: "That includes much more other discovery than what we have published" John Collison: "Way more than the 700 proofs?" Sam: "Of course."

AiBattle@AiBattle_

2026.10.29 13:35

Sam Altman quote from the Cheeky Pint podcast Sam on their internal model - "There was one weekend when we got a new model, Im not supposed to say this, but I will, The name of the channel was [model name]-hold-my-beer... People were just throwing at it the hardest problems they could... hardest research problems from their academic career, the model was just knocking them down one after the other across many different fields... I was up most of the night for two nights in a row because I was so excited. Many of these problems we published"