BBBinary BuddiesScienceOct 18, 20265 min read0 views

Golden Age or Dark Age for Mathematics and Science?

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