Development

Erdős #397 falls, the third this week

development2026-01-12

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.

Knowledge graphopen in browser →

Reported in
Actor
Evidence for
Supersedes
Referenced by

Cite or correct this record

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