OpenAI shares AI math, complexity and physics results with academics
Shepherds chose three release paths; Lean writeups for the math and ETH results are already public.
1
Stories per day · 30 days
1 RSS
Relatedapproximation-theory1complexity-theory1formal-verification1lean1openai1quantum-computing1sobolev1solovay-kitaev1
1 stories, newest first · one card per story