Die Vermutung besagt grob, dass sich die Kanten jedes brückenlosen Graphen durch eine Familie von Kreisen genau zweimal überdecken lassen. OpenAI bezeichnet das erzeugte Manuskript als vollständigen Beweis. Der Mathematiker Thomas Bloom nannte es überraschend kurz und elementar, verwies aber auf fehlende Zitate zur Vorarbeit.
Damit ist der Status doppelt zu lesen: Das PDF und seine maschinelle Entstehung sind dokumentiert, die Lösung selbst bleibt eine Anbieterbehauptung. Eine vollständige Begutachtung durch die Mathematik-Community steht aus.