|
Yesterday on September 11, there was a talk of Javier Gomez-Serrano about the September 8 event.
The talk was extremely professional, despite the stress in which researchers in this field must be.
Machines not only verify or proof read proofs, it appears that the machines have now the possibility
to generate original new ideas. Their access to Lean proof verification allows them to check even
themselves, that they are right. Never mind these humans who still want to "digest" the math. It is an extremely upsetting time for mathematicians. Machines are eating away things which had been at the heart of mathematical activity. See the letter of 25 Fields medallists about the "Severe Misalignment of AI in mathematics. And there are desperate attempts to find meaning in the purpose, value and nature of mathematics. The multi-scale ideas to find driven blow up solutions seem not have been trivial to find. I was happy that in the end of the talk the allowance of a forcing term was addressed by a question. It indeed must have made the problem significantly easier. In retrospect one might have been too generous with writing down the problem statement allowing an external force in 2000. By the way, Javier had been talking here before in March 2026. P.S. Navier Stokes appears in the movie Gifted. I have since 2017 always shown a clip of this, when teaching partial differential equations. Examples: ( A lecture from Math 21a, Fall 2019, a PDF from 2025 in MathS21a or a PDF from 2018 in Math 22a.) |
Picture from a math 22 2019 lecture.
It shows the famous ABC flow on the 3-torus, a volume preserving flow. It is believed to be chaotic, but so far
nobody has even the slightest idea how to prove such a thing. Not even the machines, thanks god.
|
