OpenAI keeps bulldozing mathematicians | Agent5