Why We Started First Proof
15:31–16:38 · 67s
Lauren explains launching an independent test of AI's ability to prove theorems to cut through media hype and conflicts of interest.
15:31–16:38 · 67s
Lauren explains launching an independent test of AI's ability to prove theorems to cut through media hype and conflicts of interest.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.