Recent revisions

Follow additions, corrections and public changes to the archive. Event dates and archive revision dates are kept separate.

Archive updated: 2026-10-09

• 2026-09-06

  Added verified Claude mathematics milestones.

  View this change
• 2026-09-05

  Corrected the public announcement date of the Claude Fermat entry.

  View this change
• 2026-09-05

  Added the Claude Fermat formalization entry.

  View this change
• 2026-09-04

  Updated the GPT-6 Astra broad release entry.

  View this change

These are selected revision summaries. Full history is available in the repository. RSS dates represent event dates; consult the revision history for backfills and corrections.