Cardano founder Hoskinson calls AI advances in formal mathematics “remarkable”

🚨 Cardano founder Hoskinson says recent advances in AI-driven mathematics are “remarkable”. 🤖 Modern AI systems now generate and verify complex mathematical proofs on their own. ⚡ OpenAI’s reported attempt to solve the $ADA Navier-Stokes problem draws industry attention. 📚 Hos...