OpenAI oznámila výsledek, který posouvá debatu o AI ve vědě: interní obecný reasoning model podle firmy autonomně vyvrátil dlouho drženou domněnku v problému jednotkových vzdáleností v rovině, formulovaném už Paulem Erdősem. Důkaz podle OpenAI zkontrolovala skupina externích matematiků a využívá překvapivé nástroje z algebraické teorie čísel. Důležité není jen samotné matematické tvrzení, ale signál, že frontier modely už nejsou jen asistenti pro rutinní práci, ale mohou navrhovat originální cesty u otevřených výzkumných problémů.
