Un model OpenAI a rezolvat problema distanței unitare, infirmând o conjectură | Sudofeed