{"type": "article", "title": "OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world", "original_source": "https://www.machinebrief.com/news/openai-dumps-372-ai-generated-math-proofs-on-github-telling-qels", "published": "2026-10-07T08:54:43+00:00", "accessed": "2026-10-07", "id": "openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world"}