My guess is that it did start off as one off employee projects, but now that they’ve gotten so much news it will be rapidly institutionalised and a pipeline will be drawn up (similar to the “GPT for science”/Claude Science/GPT-Rosalind style initiatives)
It seemed to me that OpenAI have been somewhat intentionally fostering this (starting with providing early access to famous mathematicians and shopping any results around on twitter back when the models weren’t good enough to one shot significant stuff)
Seems plausible! Perhaps the Astra results are the first outputs of this pipeline? I imagine it wouldn’t be super hard to put together a functional pipeline here (maybe this is naive, but apparently Fable solved 5⁄10 of these with a bare prompt)
My guess is that it did start off as one off employee projects, but now that they’ve gotten so much news it will be rapidly institutionalised and a pipeline will be drawn up (similar to the “GPT for science”/Claude Science/GPT-Rosalind style initiatives)
It seemed to me that OpenAI have been somewhat intentionally fostering this (starting with providing early access to famous mathematicians and shopping any results around on twitter back when the models weren’t good enough to one shot significant stuff)
Seems plausible! Perhaps the Astra results are the first outputs of this pipeline? I imagine it wouldn’t be super hard to put together a functional pipeline here (maybe this is naive, but apparently Fable solved 5⁄10 of these with a bare prompt)