Cases ainotis Join
My notis
Ongoing case

AI-written mathematics and how it is checked

3 stories since 7 Oct · Ongoing · last update 18 Oct · Readers' interest this week: some, rising

Request a follow-up
Illustration: An inspection bench with a stack of sheets under a clamped glass plate; the green plate stands for the check that decides whether a written proof holds.
Illustration made with AI for ai notis; not a picture of what happened. Enlarge

The timeline · 3 stories

Newest firstFrom the beginning
  1. 18 Oct Research How Lean checks an AI-written proof, and where that stops
  2. 9 Oct Research OpenAI's maths repository lists 719 manuscripts, about 42% of top-line results formalised, as an advisory group publishes release guidelines.
  3. 7 Oct Our first storyResearch OpenAI publishes 722 manuscripts of maths results from an unreleased model

It began before we started covering it.

Illustration: An inspection bench with a stack of sheets under a clamped glass plate; the green plate stands for the check that decides whether a written proof holds.Illustration made with AI for ai notis
source · Illustration made with AI for ai notis; not a picture of what happened
Ongoing case

AI-written mathematics and how it is checked

3 stories since 7 Oct · Ongoing · last update 18 Oct

Readers' interest this week: some · rising

Request a follow-up

What the labels mean From the beginning

  1. 18 Oct

    Research How Lean checks an AI-written proof, and where that stops

  2. 9 Oct

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

  3. 7 Oct

    Our first story Research OpenAI publishes 722 manuscripts of maths results from an unreleased model

  4. Our first story
    It began before we started covering it.

What the labels mean

Ordinary updates have no label. Our editor confirms every 'Turning point'.

Our first story
The first story we published about it. The events started earlier.
New model
A model we had not seen before.
New version
An upgrade to a model that already exists.
Built on a model
A product or feature that runs on the models.
Price change
What it costs to use went up or down.
Outside test
Someone other than the maker measured it.
Safety finding
A risk reported by a safety institute, a researcher or the maker.
Rules and courts
A government, regulator or court acted on it.
Retired
A model or service shut down, or given a date to.