OpenAI überholt Mathematiker-Duo bei weiterem Millionen-Dollar-Problem: Zwischenergebnisse standen zuvor öffentlich im Repository 27. Oktober 2026