Belangrijk OpenAI-paper: "Kunnen LLM's eenvoudige wiskundige conjecturen oplossen? Onderzoekers hebben een "Godel-test" ontwikkeld om te zien of GPT-5 nieuwe, eenvoudige resultaten kan bewijzen met minimale context over 5 nieuwe optimalisatieconjecturen: • bijna correct op 3/5 • p2: vond een alternatieve, geldige oplossing • p4: mislukt (moest twee papers combineren) • p5: mislukt (kon de bewijsvoering niet afmaken)