This is the WEIRDEST thing you will hear for a while about the OpenAI x Anthropic feud: > be Tristan Buckmaster > NYU mathematician > spend a month with coauthor + AI to prove a major Euler blowup result > start hearing rumors online that Anthropic has solved a major open math problem > realize the rumor may be connected to our work > find out that our project has reached OpenAI > contact OpenAI to see what’s going on > a few days later they me their model has a 100 page Navier–Stokes proof >…