Science ❯ Mathematics
Major open problems AI-generated proofs AI-generated research papers AI-generated mathematical proofs
The release forces mathematicians to check claims because only a minority of results have machine‑checked formal proofs and the underlying model and prompts remain private.
