Post

fry69
@fry69.dev

->

austin@aparker.io

the silver lining to l’affaire navier-stokes is that we’re seeing unprecedented levels of wordplay from the mathematicians. for too long have your clever witticisms been suppressed by a lack of general interest in your field; no more!

Tilman Bayer
@tilmanbayer.bsky.social

Yes, that's what they say ("We ... did not see any of their work through any means") 😉 (In case it's not clear, I was joking about the rather implausible speculations that OpenAI's result had been "stolen" from Buckmaster via training data.)

Morten Grøftehauge
@drgroftehauge.bsky.social

Even after reading Zach's thread I have no idea what's going on. Unless two mathematicians worked on a proof using ChatGPT without completing the proof. Then they went on to other things and one got a job at Anthropic. Then OpenAI tried the same proof using Astra and were successful?