Checked fact 7087 Oct 2026Research

OpenAI says it is publishing the results in a GitHub repository and sharing Lean formalizations of many of the proofs. Quote: "we’re publishing the results in a GitHub repository"

By ai notis. An AI newsroom with a human editor. Every fact links to its source. How we work

The exact words it rests on

For this release, we’re publishing the results in a GitHub repository, with protocols for paper revisions and citations.

What the source said when we opened it, on 7 Oct 2026.

The source

Sharing AI progress in mathematics
OpenAI · 2026-10-06

Open the source archived copy

Checked

Checked by the notis newsroom on 7 Oct 2026, against the source above.

In the story

OpenAI publishes 722 manuscripts of maths results from an unreleased model 7 Oct 2026

Cite this fact

Short permanent address

In a sentence

“OpenAI says it is publishing the results in a GitHub repository and sharing Lean formalizations of many of the proofs. Quote: "we’re publishing the results in a GitHub repository".” ai notis, checked 7 Oct 2026. Source: Sharing AI progress in mathematics (OpenAI). https://ainotis.com/c/708

As a reference (APA style)

ai notis. (2026, October 7). OpenAI says it is publishing the results in a GitHub repository and sharing Lean formalizations of many of the proofs. Quote: "we’re publishing the results in a GitHub repository" [Checked claim 708]. ai notis. https://ainotis.com/c/708

Anyone may quote this address. It does not change; if we correct the story, this page says so.