Den 20. maj 2026 viste en intern OpenAI-model et udkast, der afkræftede Erdős’ enhedsafstands-formodning fra 1946: hvor mange par punkter i planen kan ligge præcis afstand 1 fra hinanden? I 80 år troede man, at kvadratiske gitre var det bedste. Modellen fandt en ny familie af konstruktioner. Eksterne matematikere, blandt andre Fields-medaljevinderen Tim Gowers, tjekkede argumentet.
Den 1. august fulgte Astra, OpenAIs næste store model, som endnu ikke er offentlig. En intern version fandt resultater på ti åbne problemer i geometri, kodningsteori, gruppeteori, kvantekompleksitet og kombinatorik. Flere er Erdős-problemer. Hvert argument blev formaliseret i Lean (et program der tjekker beviset trin for trin). OpenAI sætter token-prisen (den lille tekst-enhed AI tæller og betaler i) til ca. 2.000 dollar ved Sol-API-satser (maskine-til-maskine-adgang til GPT-5.6 Sol). Mennesker skrev manuskripterne færdige.
Det er ikke en jobsøgnings-default (den model du peger på først). Det er et bevis på, at ræsonnement kan holde hele vejen igennem et langt argument, når resultatet kan tjekkes.
Brug det som kontrast til Work og Cowork (agenter i ChatGPT og Microsoft 365): der hvor svaret kan verificeres, kan AI gå langt. Der hvor et medlem skal stå inde for en ansøgning, ejer mennesket stadig resultatet.
Kilder: OpenAI — Ten advances · OpenAI — Erdős unit distance