OpenAI motbeviser 60 år gammel matematisk konjektur med reasoning-modell
OpenAI hevder en reasoning-modell har funnet et moteksempel til Erdős planar unit-distance-konjekturen – en 60 år gammel øvre grense som ingen hadde klart å motbevise. Beviset er publisert åpent og venter på uavhengig verifisering.
