Why a high-school dropout is currently outperforming PhDs in AI
A high-school dropout is outperforming PhDs in AI by using formal verification languages like Lean and Isabelle instead of natural language, forcing AI models to produce mathematically verified proofs…