Machine-checked proofs are arriving faster than people can read them. Maggi's argument asks what that does to mathematics, to science, and to the people who do both.
Share this article
AI and mathematicsLLMLean proof assistantNavier-Stokesmathematicsscience
Comments