OpenAI's Noam Brown Expects GPT-6 Astra to Drive Scientific Discovery
Original titleOf all the use cases for GPT-6 Astra, I'm most excited for scientific discovery. We at @OpenAI have not pushed it to its limits on math a...
AISummary
Noam Brown, speaking for OpenAI, says he is most excited about GPT-6 Astra's potential for scientific discovery and says OpenAI has not yet pushed the model to its limits on math and science.
He looks forward to seeing new scientific breakthroughs built with the model.
Background context from a quoted post notes a new OpenAI repo containing a Lean formalization by GPT-6-Astra that proves infinitely many pairs of consecutive primes are at most 186 apart.
Source: Noam Brown · x.comPublished · added here