---
format: "aidr-story-markdown/v1"
id: "dac718a2497266d3231dd1253392569eaa3bbcc01dd869240bf62a57ea2aafb9"
canonical_url: "https://aidr.today/dac718a2?lang=en"
title: "OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-07T08:54:43.000Z"
category: "Open Source"
topics: ["openai","llm","open-source"]
source_urls: ["https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/"]
summary: "OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification, with each result consuming about three hours of ChatGPT Pro compute on average. However, 25 Fields Medal winners have warned that mass-producing mathematical truths could destroy fertile ground rather than bring new ideas to life."
---

# OpenAI dumps 372 AI\-generated math proofs on GitHub, telling the academic world to keep up

> [Open the canonical story](<https://aidr.today/dac718a2?lang=en>)

**Published:** 2026-10-07T08:54:43.000Z
**Category:** Open Source
**Topics:** openai, llm, open\-source

## Summary

OpenAI has published 372 AI\-generated mathematical results on GitHub, including Lean formalizations for machine verification, with each result consuming about three hours of ChatGPT Pro compute on average\. However, 25 Fields Medal winners have warned that mass\-producing mathematical truths could destroy fertile ground rather than bring new ideas to life\.

## Sources

- [Story source](<https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/>)