Storia: OpenAI will Navier-Stokes-Problem gelöst haben: Streit um KI-Beweis in Mathematik — Warptech Lab News