Here is a 40 min conversation between Martin Hairer and Tom Crawford (@TomRocksMaths.bsky.social) on AI and Mathematics which digs into more detail. youtu.be/G8HMa_tgM34 #HLF26
mastodon.scot
Thomas Zurek 🕊️ (@tfxz@mastodon.scot)
Attached: 1 image
Obviously, the recent announcement by #OpenAI about solving the Navier-Stokes Problem has been looming over the panel discussion on "AI in Mathematical Research" at #HLF26.
If such...