#lean
1 published article
OpenAI's 722 math manuscripts come from an unnamed model, and its Lean catalogue covers 162
Mathematicians at AGMAI set release rules a week earlier. The repository meets some of them, and the group says its advice is no endorsement of OpenAI's process.