AI
OpenAI publishes 722 math papers written by an unreleased AI model
OpenAI put 722 manuscripts from an internal model on GitHub, with computer-checked proofs for many of them, after mathematicians asked AI labs to show their work.
Tag
#lean
1 stories
Stories