OpenAI's Hundreds of AI-Powered Mathematical Proofs Draw Backlash
Hundreds of AI-generated mathematical proofs published by OpenAI have sparked serious debate in academic and mathematical circles. Experts argue that the company has disregarded scientific ethical rules.
OpenAI has made public a document containing hundreds of new mathematical proofs. However, this move was met with major backlash in the mathematical world. The Association for Human Mathematics, supported by Fields Medalist Terence Tau, described this mass publication as a show of force rather than a scientific advancement.
Harnsh Criticism from Academic Circles
The Association for Human Mathematics criticized OpenAI for releasing more than 700 files simultaneously, stating that it was a show of force rather than a scientific study. Fields Medalist mathematician Terence Tau also supported this view.
Advisory Board Warnings Ignored
Although OpenAI claimed to have consulted with the Mathematics and AI Advisory Group, it emerged that the board had opposed the company testing advanced math problems on its proprietary models.
Comprehensibility of Proofs Debated
While it is stated that proofs verified with the Lean programming language may be technically correct, the difficulty for humans to understand these results and their practical utility are being questioned.
Scientific Norms and Ethical Concerns
The mathematical community criticizes the company harshly, arguing that OpenAI has ignored scientific research norms and that this situation harms the reliability and ethical values of mathematics.