Its made by the same guy that solved jacobian conjecture (5M+ runner) He said: "We used Anthropics Claude + OpenAI's Codex to solve the math proof" Going to pair this with anth and openai. This is fkn huge, guaranteed pmarca/elon interact