OpenAI’s feud with mathematicians is only escalating

Researchers may soon face pressure to prioritize speed and AI assistance over rigorous, verifiable proof and attribution.

Mathematicians are escalating a dispute with OpenAI over attribution and the integrity of research involving AI-generated proofs. NYU professor Tristan Buckmaster accused OpenAI of pressuring him to exclude credit for an Anthropic collaborator on a significant math problem, suspecting OpenAI used their joint work with Codex to generate their own proof. OpenAI withdrew sponsorship of a CalTech math event following criticism from university researchers. A group of Fields Medal recipients argues that AI-driven solutions, if rushed and unverified, threaten the mathematical community's ability to understand, communicate, and integrate new findings. They fear that the current dynamic, where AI can rapidly produce proofs, will disincentivize open research and lead to secrecy, mirroring concerns in other creative and scientific fields.

The conflict highlights a growing tension between the rapid advancement of AI capabilities and established norms of academic and scientific collaboration. The mathematicians' concerns about attribution, plagiarism, and the loss of human transmission chains suggest that AI's integration into research may fundamentally alter how knowledge is created, validated, and disseminated. This could lead to a future where groundbreaking discoveries are made by machines with limited transparency and accountability, potentially stifling human ingenuity and collaborative progress.

As AI tools become more powerful, similar disputes are likely to emerge across various disciplines, impacting how intellectual property is recognized and rewarded. The current situation with OpenAI and mathematicians serves as an early warning for other fields, indicating a need for new frameworks and ethical guidelines to govern AI's role in research and discovery. The focus may shift from individual breakthroughs to the management and integration of AI-assisted insights, requiring professionals to adapt to a new paradigm of collaborative effort with intelligent systems.