Not Navier-Stokes, that was a couple days ago, old news. It’s one of the less famous problems they posted around the same time.
The cited Mathstodon post is here: https://mathstodon.xyz/@andreasthom/117240535270608201
Not Navier-Stokes, that was a couple days ago, old news. It’s one of the less famous problems they posted around the same time.
The cited Mathstodon post is here: https://mathstodon.xyz/@andreasthom/117240535270608201
Maybe those mathematicians should stop using the proof-stealing slop machine then.
It’s hard, the frontier models are only available on the theft machines right now. IDK what will happen with that.