Organization

Achivara

Sources

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

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

Built a math research agent that solved an Erdős problem unaided.

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

2025-12-27: A math agent solves Erdős #897 with no human input

Knowledge graphopen in browser →

Cite or correct this record

Citation formatCitation text

Achivara
Innermost Loop KB — secondary record
Reporting date: unknown
KB permalink: https://nicholsn.github.io/innermost-loop-kb/organizations/achivara
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.