Claim record

OpenAI solved a major maths problem

assertion Existential and catastrophic risk 2 mentions first seen 2026-09-17

Evidence