“The rapid progress of AI in coding and mathematics is primarily due to the verifiability of the outputs, such as passing unit tests or formal verification by tools like Lean.”