AI Enriched Problem Solving

[neilparker62]

https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/

Mind blowing!

 

[hilbert2]

Someone's made a proposed proof that $\zeta (5)$ is an irrational number, probably with the help of AI tools

https://zenodo.org/records/22826419

There are also some discussions in Reddit about this, but it hasn't been verified yet and so isn't the recent Navier-Stokes Millennium problem solution, either.