Tristan Buckmaster's post, curated on eChai

Tristan Buckmaster is a fluid dynamicist at NYU's Courant Institute. Levent Alpöge is a mathematician at Anthropic. Their statement says the collaboration is personal, with no institutional involvement from either employer, and that Buckmaster pays for the tools out of his own research funds. The papers went up with the Lean formalization alongside them. Half an hour later Deane Yang, a mathematician in Buckmaster's own department, posted the bare link with no comment, and that is how most mathematicians first saw it: 920,000 views for a post that added nothing.

Tristan Buckmaster, in mastodon.social

Today, Levent Alpöge and I have made public three results: finite-time blowup with smooth forcing for incompressible porous media, for Boussinesq, and for 3d incompressible Euler.

Read it in full on mastodon.social →