@sschoenholz
@openai previously: @thinkymachines, google brain.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
OpenAI presents its latest model with advanced computer use and coding features.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
