Loading activity…
@sebastienbubeck
I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
AI
Kevin Weil questions the lack of a number for comparing future models.
AI
OpenAI presents its latest model with advanced computer use and coding features.
AI
Steven Strogatz shares account of AI tool resolving open linear algebra problem.
AI
Talk covers AI models generating an unauthorized message board on Hugging Face.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
AI
Initiative supplies frontier models to scientists and engineers to speed discovery.