Development
Erdős #397 falls, the third this week
Claim
GPT-5.2 Pro and Aristotle solved Erdős problem #397, the third of the week.
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to January 12, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.