Loading activity…
@danintheory
Scientist @OpenAI. Prev. co-founder @diffeo, acquired by @salesforce // co-authored The Principles of Deep Learning Theory // studied gravity.
AI
Applied Compute reported reaching $100 million in annualized revenue run rate less than 18 months after its founding.
AI
OpenAI says its claimed refutation of the Exponential Time Hypothesis was formalized in Lean and made public.
Technology
OpenAI says it published the math and computer science outputs, while an external group will write up the physics result.
Science
OpenAI announced three AI-generated discoveries: a local smoothing proof, an Exponential Time Hypothesis disproof and a QCD existence proof.
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.
XAI
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.
