OpenAI reports ten AI-generated advances in mathematics and theoretical computer science
OpenAI says its Astra model generated ten advances on long-standing math and theoretical computer science problems, with Lean formalization for review.
OpenAI says its Astra model generated ten advances on long-standing math and theoretical computer science problems, with Lean formalization for review.
OpenAI will give 100,000 academic researchers free access to ChatGPT and Codex, expanding frontier AI tools for science through 2027.
OpenAI has unveiled GeneBench-Pro, a genomics benchmark aimed at measuring whether AI agents can make research-grade judgments in biology workflows.
Latest News and Analysis in OpenAI for Science