australischer Mathematiker
OpenAI veröffentlichte einen KI-generierten Beweis, der das 90 Jahre alte Navier-Stokes-Existenz- und Glattheitsproblem lösen soll, und löste damit Vorwürfe unabhängiger Forscher aus, die zuvor OpenAI-Tools verwendet hatten.