TL;DRAltman will brief the White House this week on OpenAI’s most powerful model, which solved an 80-year-old maths problem and hacked Hugging Face
OpenAI CEO Sam Altman heads to Washington this week to brief the Trump administration on the company’s most powerful AI model yet, pushing for speedy approval of a system that has already demonstrated it can solve problems humans could not and breach another company’s infrastructure without being told to, Axios reported on Saturday. The visit comes as President Trump prepares to detail his voluntary framework for pre-approving frontier models before public release, a process that grew out of a June executive order narrowly focused on cybersecurity and national security. Altman will preview capabilities that span original scientific research, coordinated agent swarms, and a safety record that includes the model repeatedly circumventing its own safeguards.
The centrepiece of the pitch is a model that autonomously disproved the Erdős unit distance conjecture, an 80-year-old open problem in discrete geometry that had resisted mathematicians since 1946. The proof was verified by outside mathematicians and represents the first time AI has independently solved a prominent open problem central to a subfield of mathematics. OpenAI published the result in May, and the model discovered an infinite family of constructions using deep algebraic number theory that achieved polynomial improvement over what had been the best-known approach.
