OpenAI formalisiert Primzahl-Lücken bis 186 in Lean und markiert drei unbewiesene Eingaben als Axiome 2. September 2026