AIProofWatch
A small view of the record

Patterns in our catalog.

See how our curated record grows over time.

Counts reflect our catalog, not all AI research.

See considered but not curated contributions.

Progress over time

115 distinct records · Oct 2022 – Oct 2026 · Cumulative progress records by verification

Cumulative progress records by verificationCounts by original report month. Exact values are available in the data table below.0295887116Oct 2022Oct 2023Oct 2024Oct 2025Oct 2026Oct 2022 · Author claim: 1Nov 2022 · Author claim: 1Dec 2022 · Author claim: 1Jan 2023 · Author claim: 1Feb 2023 · Author claim: 1Mar 2023 · Author claim: 1Apr 2023 · Author claim: 1May 2023 · Author claim: 1Jun 2023 · Author claim: 2Jul 2023 · Author claim: 2Aug 2023 · Author claim: 2Sept 2023 · Author claim: 2Oct 2023 · Author claim: 2Nov 2023 · Author claim: 2Dec 2023 · Author claim: 4Jan 2024 · Author claim: 4Feb 2024 · Author claim: 4Mar 2024 · Author claim: 4Apr 2024 · Author claim: 4May 2024 · Author claim: 4Jun 2024 · Author claim: 4Jul 2024 · Author claim: 5Aug 2024 · Author claim: 5Sept 2024 · Author claim: 5Oct 2024 · Author claim: 5Nov 2024 · Author claim: 5Dec 2024 · Author claim: 5Jan 2025 · Author claim: 5Feb 2025 · Author claim: 5Mar 2025 · Author claim: 5Apr 2025 · Author claim: 5May 2025 · Author claim: 7Jun 2025 · Author claim: 7Jul 2025 · Author claim: 7Aug 2025 · Author claim: 7Sept 2025 · Author claim: 8Oct 2025 · Author claim: 8Nov 2025 · Author claim: 9Dec 2025 · Author claim: 9Jan 2026 · Author claim: 11Feb 2026 · Author claim: 11Mar 2026 · Author claim: 12Apr 2026 · Author claim: 12May 2026 · Author claim: 13Jun 2026 · Author claim: 14Jul 2026 · Author claim: 19Aug 2026 · Author claim: 27Sept 2026 · Author claim: 37Oct 2026 · Author claim: 115Oct 2022 · Accessible artifact / proof: 1Nov 2022 · Accessible artifact / proof: 1Dec 2022 · Accessible artifact / proof: 1Jan 2023 · Accessible artifact / proof: 1Feb 2023 · Accessible artifact / proof: 1Mar 2023 · Accessible artifact / proof: 1Apr 2023 · Accessible artifact / proof: 1May 2023 · Accessible artifact / proof: 1Jun 2023 · Accessible artifact / proof: 2Jul 2023 · Accessible artifact / proof: 2Aug 2023 · Accessible artifact / proof: 2Sept 2023 · Accessible artifact / proof: 2Oct 2023 · Accessible artifact / proof: 2Nov 2023 · Accessible artifact / proof: 2Dec 2023 · Accessible artifact / proof: 4Jan 2024 · Accessible artifact / proof: 4Feb 2024 · Accessible artifact / proof: 4Mar 2024 · Accessible artifact / proof: 4Apr 2024 · Accessible artifact / proof: 4May 2024 · Accessible artifact / proof: 4Jun 2024 · Accessible artifact / proof: 4Jul 2024 · Accessible artifact / proof: 5Aug 2024 · Accessible artifact / proof: 5Sept 2024 · Accessible artifact / proof: 5Oct 2024 · Accessible artifact / proof: 5Nov 2024 · Accessible artifact / proof: 5Dec 2024 · Accessible artifact / proof: 5Jan 2025 · Accessible artifact / proof: 5Feb 2025 · Accessible artifact / proof: 5Mar 2025 · Accessible artifact / proof: 5Apr 2025 · Accessible artifact / proof: 5May 2025 · Accessible artifact / proof: 6Jun 2025 · Accessible artifact / proof: 6Jul 2025 · Accessible artifact / proof: 6Aug 2025 · Accessible artifact / proof: 6Sept 2025 · Accessible artifact / proof: 7Oct 2025 · Accessible artifact / proof: 7Nov 2025 · Accessible artifact / proof: 8Dec 2025 · Accessible artifact / proof: 8Jan 2026 · Accessible artifact / proof: 10Feb 2026 · Accessible artifact / proof: 10Mar 2026 · Accessible artifact / proof: 11Apr 2026 · Accessible artifact / proof: 11May 2026 · Accessible artifact / proof: 12Jun 2026 · Accessible artifact / proof: 13Jul 2026 · Accessible artifact / proof: 18Aug 2026 · Accessible artifact / proof: 26Sept 2026 · Accessible artifact / proof: 36Oct 2026 · Accessible artifact / proof: 114Oct 2022 · Independent checking: 0Nov 2022 · Independent checking: 0Dec 2022 · Independent checking: 0Jan 2023 · Independent checking: 0Feb 2023 · Independent checking: 0Mar 2023 · Independent checking: 0Apr 2023 · Independent checking: 0May 2023 · Independent checking: 0Jun 2023 · Independent checking: 0Jul 2023 · Independent checking: 0Aug 2023 · Independent checking: 0Sept 2023 · Independent checking: 0Oct 2023 · Independent checking: 0Nov 2023 · Independent checking: 0Dec 2023 · Independent checking: 0Jan 2024 · Independent checking: 0Feb 2024 · Independent checking: 0Mar 2024 · Independent checking: 0Apr 2024 · Independent checking: 0May 2024 · Independent checking: 0Jun 2024 · Independent checking: 0Jul 2024 · Independent checking: 0Aug 2024 · Independent checking: 0Sept 2024 · Independent checking: 0Oct 2024 · Independent checking: 0Nov 2024 · Independent checking: 0Dec 2024 · Independent checking: 0Jan 2025 · Independent checking: 0Feb 2025 · Independent checking: 0Mar 2025 · Independent checking: 0Apr 2025 · Independent checking: 0May 2025 · Independent checking: 0Jun 2025 · Independent checking: 0Jul 2025 · Independent checking: 0Aug 2025 · Independent checking: 0Sept 2025 · Independent checking: 0Oct 2025 · Independent checking: 0Nov 2025 · Independent checking: 0Dec 2025 · Independent checking: 0Jan 2026 · Independent checking: 0Feb 2026 · Independent checking: 0Mar 2026 · Independent checking: 0Apr 2026 · Independent checking: 0May 2026 · Independent checking: 1Jun 2026 · Independent checking: 1Jul 2026 · Independent checking: 1Aug 2026 · Independent checking: 1Sept 2026 · Independent checking: 1Oct 2026 · Independent checking: 1Oct 2022 · Formal checking: 0Nov 2022 · Formal checking: 0Dec 2022 · Formal checking: 0Jan 2023 · Formal checking: 0Feb 2023 · Formal checking: 0Mar 2023 · Formal checking: 0Apr 2023 · Formal checking: 0May 2023 · Formal checking: 0Jun 2023 · Formal checking: 0Jul 2023 · Formal checking: 0Aug 2023 · Formal checking: 0Sept 2023 · Formal checking: 0Oct 2023 · Formal checking: 0Nov 2023 · Formal checking: 0Dec 2023 · Formal checking: 0Jan 2024 · Formal checking: 0Feb 2024 · Formal checking: 0Mar 2024 · Formal checking: 0Apr 2024 · Formal checking: 0May 2024 · Formal checking: 0Jun 2024 · Formal checking: 0Jul 2024 · Formal checking: 1Aug 2024 · Formal checking: 1Sept 2024 · Formal checking: 1Oct 2024 · Formal checking: 1Nov 2024 · Formal checking: 1Dec 2024 · Formal checking: 1Jan 2025 · Formal checking: 1Feb 2025 · Formal checking: 1Mar 2025 · Formal checking: 1Apr 2025 · Formal checking: 1May 2025 · Formal checking: 1Jun 2025 · Formal checking: 1Jul 2025 · Formal checking: 1Aug 2025 · Formal checking: 1Sept 2025 · Formal checking: 1Oct 2025 · Formal checking: 1Nov 2025 · Formal checking: 1Dec 2025 · Formal checking: 1Jan 2026 · Formal checking: 1Feb 2026 · Formal checking: 1Mar 2026 · Formal checking: 2Apr 2026 · Formal checking: 2May 2026 · Formal checking: 2Jun 2026 · Formal checking: 2Jul 2026 · Formal checking: 4Aug 2026 · Formal checking: 6Sept 2026 · Formal checking: 8Oct 2026 · Formal checking: 9Oct 2022 · Peer review: 1Nov 2022 · Peer review: 1Dec 2022 · Peer review: 1Jan 2023 · Peer review: 1Feb 2023 · Peer review: 1Mar 2023 · Peer review: 1Apr 2023 · Peer review: 1May 2023 · Peer review: 1Jun 2023 · Peer review: 2Jul 2023 · Peer review: 2Aug 2023 · Peer review: 2Sept 2023 · Peer review: 2Oct 2023 · Peer review: 2Nov 2023 · Peer review: 2Dec 2023 · Peer review: 4Jan 2024 · Peer review: 4Feb 2024 · Peer review: 4Mar 2024 · Peer review: 4Apr 2024 · Peer review: 4May 2024 · Peer review: 4Jun 2024 · Peer review: 4Jul 2024 · Peer review: 5Aug 2024 · Peer review: 5Sept 2024 · Peer review: 5Oct 2024 · Peer review: 5Nov 2024 · Peer review: 5Dec 2024 · Peer review: 5Jan 2025 · Peer review: 5Feb 2025 · Peer review: 5Mar 2025 · Peer review: 5Apr 2025 · Peer review: 5May 2025 · Peer review: 5Jun 2025 · Peer review: 5Jul 2025 · Peer review: 5Aug 2025 · Peer review: 5Sept 2025 · Peer review: 5Oct 2025 · Peer review: 5Nov 2025 · Peer review: 5Dec 2025 · Peer review: 5Jan 2026 · Peer review: 5Feb 2026 · Peer review: 5Mar 2026 · Peer review: 5Apr 2026 · Peer review: 5May 2026 · Peer review: 5Jun 2026 · Peer review: 5Jul 2026 · Peer review: 5Aug 2026 · Peer review: 5Sept 2026 · Peer review: 5Oct 2026 · Peer review: 5
  • Author claim 115
  • Accessible artifact / proof 114
  • Independent checking 1
  • Formal checking 9
  • Peer review 5

Report dates show when research was first reported. Breakdowns use the current ratings for each record.

Verification types can overlap. Do not add these series together. Each label describes a check’s scope.

View data table
Cumulative progress records by verification · Original report month
MonthAuthor claimAccessible artifact / proofIndependent checkingFormal checkingPeer review
Oct 202211001
Nov 202211001
Dec 202211001
Jan 202311001
Feb 202311001
Mar 202311001
Apr 202311001
May 202311001
Jun 202322002
Jul 202322002
Aug 202322002
Sept 202322002
Oct 202322002
Nov 202322002
Dec 202344004
Jan 202444004
Feb 202444004
Mar 202444004
Apr 202444004
May 202444004
Jun 202444004
Jul 202455015
Aug 202455015
Sept 202455015
Oct 202455015
Nov 202455015
Dec 202455015
Jan 202555015
Feb 202555015
Mar 202555015
Apr 202555015
May 202576015
Jun 202576015
Jul 202576015
Aug 202576015
Sept 202587015
Oct 202587015
Nov 202598015
Dec 202598015
Jan 20261110015
Feb 20261110015
Mar 20261211025
Apr 20261211025
May 20261312125
Jun 20261413125
Jul 20261918145
Aug 20262726165
Sept 20263736185
Oct 2026115114195

How to read these counts

Browse the underlying progress records for claims and limitations, or read our rating methodology.