ainotis Join
My notis
Research· Topic

Machine-checked mathematics

1 story from 1 source in four weeks. First seen 22 September 2026.

Where it stands

  1. Watching
  2. Rising
  3. Active
  4. Fading
  5. Retired

The registrar proposes a move; our editor decides.

Stories on this topic · 4

Newest first · read on screen, counted from 15 Oct
10 Nov ResearchAnthropic says 1,000 Fable 5.2 agents formalized Fermat's Last Theorem in Lean in 30 hours; the post names no checker. 1 source 18 Oct ResearchHow Lean checks an AI-written proof, and where that stops 27 sources 9 Oct ResearchOpenAI's maths repository lists 719 manuscripts, about 42% of top-line results formalised, as an advisory group publishes release guidelines. 3 sources 7 Oct ResearchOpenAI publishes 722 manuscripts of maths results from an unreleased model 2 sources

History

Every change of state, with the reason
22 SepWatching. We started following this topic.

Machine-checked mathematics

watching Research first seen 2026-09-22

History

Stories on this topic