OpenAI releases 722 math proofs: Mathematicians fear losing research to AI
OpenAI published 722 manuscripts and proofs targeting long-unsolved mathematical problems, but only 300 of the results were formalized for computer verification. Mathematicians criticize the lack of disclosure about the model and prompts, the errors and duplicates, and the potential damage to the field's collaborative culture.
