---
title: "377 AI solutions: who defines progress in mathematics?"
author: Martin Ebner
date: 2026-10-26
url: https://postgenerative.at/indications/2026-10-26/377-ai-solutions-who-defines-progress-in-mathematics
lang: en
type: Indication
summary: FAZ reports on OpenAI’s results for 377 mathematical problems. The Association for Human Mathematics (AHM) criticises the mass release as “not a demonstration of scholarship, but a demonstration of power”.
tags:
  - Mathematics
  - Science
  - Research
sources:
  - title: "Ulf von Rauchhaupt (09.10.2026): Der Tag der Mathe-Apokalypse. Frankfurter Allgemeine Zeitung."
    url: https://www.faz.net/aktuell/wissen/computer-mathematik/open-ai-loest-377-matheprobleme-und-schockt-mathematiker-accg-201297619.html
  - title: "Association for Human Mathematics: AHM Statement on OpenAI’s October 6 Release of Mathematical Documents (07.10.2026)."
    url: https://www.ahmath.org/statements
license: CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)
alternate:
  de: https://postgenerativ.at/indizien/2026-10-26/377-ki-loesungen-wer-bestimmt-den-fortschritt-der-mathematik
---

# 377 AI solutions: who defines progress in mathematics?

According to FAZ, OpenAI released 722 manuscripts containing AI-generated results on 377 previously open mathematical questions. Reactions range from enthusiasm to concern about the future of human research. [1]

Verification is a central issue: a machine-checked formal proof must correspond exactly to the original claim. The article describes doubts about this correspondence in the previously released Navier–Stokes proof. [1] The AHM also criticises the company’s power and its publication model. [2]

Our interpretation: this example shows scientific work changing. Alongside finding solutions, shared understanding, exposition and the rules for recognising AI results become crucial.

[Read the FAZ article](https://www.faz.net/aktuell/wissen/computer-mathematik/open-ai-loest-377-matheprobleme-und-schockt-mathematiker-accg-201297619.html)