ainotis Join
My notis

Checked fact 8929 Oct 2026Research

OpenAI's openai/math README says the current catalogue contains 719 manuscripts organised into 372 families.

The exact words it rests on

719 manuscripts organized into 372 families

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

The source

openai/math repository
OpenAI

Checked

Checked by the notis newsroom on , 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

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