Here is another summary of the situation actualized by the OpenAI 57 page symbolic/analytical proof of blow-up of solutions to the unforced Euler equations:
The mathematics community is in shock after the OpenAI 167 page proof of blow-up for forced Navier-Stokes equations presenting a solution to the Clay Navier-Stokes Millennium Problem far beyond the horizon of human mathematicians. Same shock as delivered by computer chess 20 years ago.
What will the impact be on symbolic mathematics as the Queen of Science? What will be left to human mathematicians to do? Something like speed chess? Best proof of given proposition in 5 minutes? And for mathematics education?
The article pleads for a synthesis of symbolic and numerical mathematics with a role for human mathematicians. What do you think? Game over? Synthesis possible? Math education tomorrow?
Inlägg
Inga kommentarer:
Skicka en kommentar