OpenAI vs Clay Navier-Stokes vs Numerical Analysis

Here are two new articles connecting to the recent hype of AI doing mathematics instead of mathematicians:

• Constructive Solution of the Clay Navier-Stokes Problem
• AI vs Numerical Analysis

Questions to ponder

• Does AI pull the carpet under mathematics education?
• What is the meaning of AI proofs of mathematical theorems?
• Is the main role of a mathematician to prove theorems?
• What is the role of numerical analysis?