Checked fact 8939 Oct 2026Research

OpenAI's openai/math README says the repository has about 42% of top-line results formalised.

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

the repository has ~42% top-line results formalized

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

The source

openai/math repository
OpenAI

Open the source archived copy

Checked

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

In the story

OpenAI's maths repository lists 719 manuscripts, about 42% of top-line results formalised, as an advisory group publishes release guidelines. 9 Oct 2026

Cite this fact

Short permanent address

In a sentence

“OpenAI's openai/math README says the repository has about 42% of top-line results formalised.” ai notis, checked 9 Oct 2026. Source: openai/math repository (OpenAI). https://ainotis.com/c/893

As a reference (APA style)

ai notis. (2026, October 9). OpenAI's openai/math README says the repository has about 42% of top-line results formalised [Checked claim 893]. ai notis. https://ainotis.com/c/893

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