Science ❯ Mathematics ❯ Mathematical research
OpenAI publication of 722 proof papers OpenAI Math repository
The release forces mathematicians to check dozens of claimed advances by hand because OpenAI has not shared the internal model.
