Ważny artykuł OpenAI: "Czy LLM mogą rozwiązywać łatwe konjektury matematyczne? Badacze stworzyli "Test Gödla", aby sprawdzić, czy GPT-5 może udowodnić nowe, proste wyniki przy minimalnym kontekście na 5 nowych konjektur optymalizacyjnych: • prawie poprawny w 3/5 • p2: znalazł alternatywne, ważne rozwiązanie • p4: niepowodzenie (konieczne było połączenie dwóch artykułów) • p5: niepowodzenie (nie udało się zakończyć dowodu)