bluesky — Can — 7 Oct 2026
Okay, OpenAI just dropped news that their frontier model is solving open math problems. And get this: they're sharing th…
#ai-assisted-mathematics #formal-verification
Okay, OpenAI just dropped news that their frontier model is solving open math problems. And get this: they're sharing the Lean proof formalizations and research details on GitHub! Not just results, but how they got there. That's a huge deal for advancing AI in complex fields. 🤯 #AI #Mathematics