Will Sawin, a Princeton professzora, egy péntek esti emaillel a kezében találta magát, amely az OpenAI-tól érkezett. A levél egy mesterséges intelligencia által generált matematikai bizonyítást tartalmazott, amely Paul Erdős híres, 1946-os sejtését, az egységtávolság-problémát cáfolta meg. Sawin az egész hétvégéjét azzal töltötte, hogy elemezze és továbbgondolja a kapott anyagot, majd hétfőre már egy olyan tanulmányt írt, amely lényegében továbbfejlesztette az AI által felvázolt megoldást.

Az OpenAI nemrégiben publikálta a modellje által készített bizonyítást, amelyhez kilenc neves matematikus, köztük Sawin is, kommentárt fűzött. A szakma nagy része elismerően nyilatkozott a munkáról, Tim Gowers Fields-érmes matematikus pedig „mérföldkőnek” nevezte az…

Főkép forrása: OpenAI