News for hackers. Stuff that matters.

A comment on "Erdos problem #728 was solved more or less autonomously by AI". Parent comment

Re:"Erdos problem #728 was solved more or less autonomously ... by sothatsit on Sunday January 11, 2026 @04:35AM (#46574005)
Both Erdos #728 and #729 were solved with the use of GPT-5.2 Pro. Lesser models have much worse performance on difficult problems like these.
[ Parent | on HN ]

There are no comments on this comment yet.