AI causes uproar in mathematics as experts warn against sharing research with LLMs after OpenAI shares 722 manuscripts and proofs

Summary

AI causes uproar in mathematics as experts warn against sharing research with LLMs after OpenAI shares 722 manuscripts and proofs — professor argues that the field must focus on building community over raw solutions Mathematics is a collaborative field, now disrupted by AI Last week, OpenAI shared over 400 results for longstanding mathematical formulas that have troubled humans for decades; now researchers say it could take years for humans to validate and prove all the AI-driven work. But while analysts try to check the work of the unnamed OpenAI internal frontier model that found these alleged solutions, mathematicians argue this kind of AI-powered research and release threatens the field itself. There's even the claim that by leaping from a prompt to a solution without a clear working in between, there is little benefit to these solutions in the first place. Mathematicians and the field itself may not be able to build on the results, as they don't know how they were achieved, nor has the development of such solutions produced new fields of mathematical understanding. To make matters worse, there are suggestions that the growing confluence of mathematical and cybersecurity capabilities of frontier AI could bring into question the sanctity of cryptography itself. Alongside raising serious concerns for national security and modern digital systems, it could also put trillions of dollars worth of cryptocurrency at imminent risk. Over 722 manuscripts dropped The official count for OpenAI's maths solution release was 722 manuscripts, but with only 300 of the results formalized — digitizing human-readable formulas so they can be computer-verified — it's very difficult to know what's legitimate research. Some of the researchers The Verge spoke to found nonsense explanations within the reports, formulas that don't make sense, and some research that has already been completed by others. The burden of proving the veracity of OpenAI and its model's claims is very much on the mathematical community, too. OpenAI didn't release the name of the model it used to generate these results, nor the prompts that generated them — despite those recommendations from the Advisory Group on Mathematicians and Artificial Intelligence (AGMAI). OpenAI has at least published changelogs for its GitHub repository of the results, making it clearer where mistakes were made. But with several…