Lucrare importantă OpenAI: "Pot LLM-urile să rezolve conjecturi matematice ușoare? Cercetătorii au construit un "test Godel" pentru a vedea dacă GPT-5 poate dovedi rezultate noi, simple, cu un context minim Pe 5 noi presupuneri de optimizare: • aproape corect pe 3/5 • P2: a găsit o soluție alternativă, validă • P4: Eșuat (necesar pentru a combina două lucrări) • P5: Eșuat (nu s-a putut termina demonstrația)