Loading activity…
@danintheory
Scientist @OpenAI. Prev. co-founder @diffeo, acquired by @salesforce // co-authored The Principles of Deep Learning Theory // studied gravity.
AI
The host’s September 9 announcement said the discussion would examine what would count as a verified solution and what such a result could mean for artificial general intelligence.
AI
OpenAI presents GPT-6 Astra as its most intelligent and aligned model with new benchmark results.
AI
Startup launches with Sequoia backing to build AI models for defensive cybersecurity.
AI
OpenAI states an internal model generated ten new results on open problems in math and theoretical computer science.
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.
