Development

A math agent solves Erdős #897 with no human input

development2025-12-27

Claim

Achivara's Math Research Agent solved Erdős Problem #897 independently, without human input.

Reporting date: 2025-12-27 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to December 27, 2025 (theinnermostloop.substack.com)

The arc completes: human-in-the-loop on the 13th, autoformalization on the 16th, unaided solution on the 27th.

Knowledge graphopen in browser →

Reported in

Welcome to December 27, 2025

Actor

Achivara

Evidence for

Supersedes

The Gauss agent autoformalizes a Kakeya proof in six hours

Referenced by

Cite or correct this record

Citation formatCitation text

A math agent solves Erdős #897 with no human input
Innermost Loop KB — secondary record
Reporting date: 2025-12-27
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-27-achivara-erdos-897
Claim: Achivara's Math Research Agent solved Erdős Problem #897 independently, without human input.
Attributed sources:
- Welcome to December 27, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-27-2025
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.