Mayank Singh

Some more technical points: (a) We began working on the Millennium problems due to viral twitter rumors that Anthropic had resolved 2 Millenium problems. Our aim was to see whether our system was also capable of this impressive feat, especially given our excitement regarding the large recent capability increases of our internal model detailed in our blog post. (b) We did not see any of their work until they released it publicly last night. One can in hindsight see that our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs unforced). It is also worth noting that our team consisted largely of mathematicians, physicists and computer scientists with the deepest roots in academia and respect for the stature and integrity of the Millennium problems. (c) Levent reached out unprompted to an OpenAI employee on Wednesday. Due to his numerous posts on Twitter (S^6, Jacobian, Hadamard…) which appear to represent Anthropic and use Anthropic internal models, we believed that their project was, at least in part, an Anthropic project. Additionally recent further tweets by Levent (“augustus mirabilis”) led us to believe that they had solved at least 1 Millennium problem and would likely release it soon. (d) Regarding the level of human involvement on our end: although a group of people was involved in our efforts, we collectively had no research-level expertise in fluid dynamics and the Navier-Stokes problem, and therefore were unable to meaningfully contribute to the mathematical content. We involved several people in order to initially attempt multiple Millenium problems using a variety of multiagent techniques.