Importante articolo di OpenAI: "Possono i LLM risolvere semplici congetture matematiche? I ricercatori hanno costruito un "Test di Godel" per vedere se GPT-5 può dimostrare nuovi risultati semplici con un contesto minimo su 5 nuove congetture di ottimizzazione: • quasi corretto su 3/5 • p2: trovata una soluzione alternativa valida • p4: fallito (necessitava di combinare due articoli) • p5: fallito (non è riuscito a completare la dimostrazione)