Incredible intra-lab feud brewing in AI land. Two researchers, including one from Anthropic, are claiming that OpenAI played dirty to beat them to solving Navier-Stokes, one of seven Millennium Prize problems that are considered the hardest open problems in math. (AI labs have been aiming their models at MP problems for years, and this would be the first one solved with AI, so a very big, possibly Nobel-worthy breakthrough.) Tristan Buckmaster claims that OpenAI got wind of their progress on…