mastodon — Andreas Thom — 12 Sep 2026
https://www. theverge.com/ai-artificial-int elligence/994255/openai-millennium-prize-problem-tristan-buckmaster-competit…
#ai-mathematics #automated-reasoning #navier-stokes
https://www. theverge.com/ai-artificial-int elligence/994255/openai-millennium-prize-problem-tristan-buckmaster-competition