Mathematicians demand OpenAI boycott after AI-generated proofs overwhelm the field
The Association for Human Mathematics accuses OpenAI of publishing 372 AI-generated proofs, prompting calls for a boycott. Leading mathematicians say the proofs are too dense and obscure for human understanding.
Some mathematicians are calling for a boycott of OpenAI after the company released hundreds of AI-generated mathematical proofs, which have flooded the field and sparked controversy. The Association for Human Mathematics (AHM) has raised concerns about the implications of these proofs, arguing that they challenge the norms of scientific research and the integrity of mathematical discovery.
The release of these AI-generated proofs has caused significant unease among mathematicians, with many expressing difficulty in understanding the dense and unconventional language used in the documents. Leading experts, including Fields Medalist Terence Tao, have voiced concerns about the potential impact on the field, emphasizing the need for human verification and interpretation of mathematical work.
OpenAI's AI model has reportedly solved over 100 long-standing mathematical problems, but the sheer volume and complexity of the AI-generated proofs have left many mathematicians questioning their validity. One mathematician described the proofs as 'something written by someone who's on psychedelics,' highlighting the confusion and skepticism surrounding the work.
The emergence of AI-generated proofs raises broader questions about the role of artificial intelligence in scientific research. Concerns include the potential for increased costs in human verification, the risk of vendor lock-in with AI tools, and the governance challenges of ensuring that AI-assisted research remains transparent and accountable. These issues could reshape how mathematical research is conducted and evaluated in the future.
As the debate over AI's role in mathematics continues, the situation remains fluid. OpenAI has not yet responded publicly to the calls for a boycott, and the mathematical community is left to grapple with the implications of this development. The outcome of this dispute may set a precedent for how AI is integrated into other scientific disciplines.