Viktig OpenAI-papir: "Kan LLM-er løse enkle matematiske gjetninger? Forskere bygde en "Godel-test" for å se om GPT-5 kan bevise nye, enkle resultater med minimal kontekst På 5 nye optimaliseringsformodninger: • Nesten riktig på 3/5 • P2: fant en alternativ, gyldig løsning • P4: Ikke bestått (nødvendig for å kombinere to artikler) • P5: Mislyktes (kunne ikke fullføre korrekturen)