backend ok
Story history
Score and comment observations over time
Back to feed

Testing AIs on 68 of the hardest open Erdos problems, verified in Lean

HN #49,815,176 | submitted 2026-09-23 12:37 UTC | arxiv.org

44 observationsby tadamcz
3 points
Latest score
0 comments
Latest comments
+1
Score change

Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.

Score

Range 2 to 3
2026-09-23 12:40 UTC2026-09-23 16:07 UTC

Comments

Range 0 to 0
2026-09-23 12:40 UTC2026-09-23 16:07 UTC

Observation history

Observation times are irregular and reflect when the tracker refreshed this story.

First 2026-09-23 12:40 UTCLatest 2026-09-23 16:07 UTC
Observed atScoreCommentsRank
2026-09-23 16:07 UTC30not tracked
2026-09-23 16:02 UTC30not tracked
2026-09-23 15:58 UTC30not tracked
2026-09-23 15:53 UTC30not tracked
2026-09-23 15:48 UTC30not tracked
2026-09-23 15:44 UTC30not tracked
2026-09-23 15:39 UTC30not tracked
2026-09-23 15:34 UTC30not tracked
2026-09-23 15:30 UTC30not tracked
2026-09-23 15:23 UTC30not tracked
2026-09-23 15:18 UTC30not tracked
2026-09-23 15:14 UTC30not tracked
2026-09-23 15:09 UTC30not tracked
2026-09-23 15:04 UTC30not tracked
2026-09-23 15:00 UTC30not tracked
2026-09-23 14:55 UTC30not tracked
2026-09-23 14:50 UTC30not tracked
2026-09-23 14:46 UTC30not tracked
2026-09-23 14:41 UTC30not tracked
2026-09-23 14:36 UTC30not tracked
2026-09-23 14:32 UTC30not tracked
2026-09-23 14:27 UTC30not tracked
2026-09-23 14:20 UTC30not tracked
2026-09-23 14:16 UTC30not tracked
2026-09-23 14:11 UTC30not tracked
2026-09-23 14:06 UTC30not tracked
2026-09-23 14:02 UTC30not tracked
2026-09-23 13:57 UTC30not tracked
2026-09-23 13:52 UTC30not tracked
2026-09-23 13:48 UTC30not tracked
2026-09-23 13:43 UTC30not tracked
2026-09-23 13:39 UTC30not tracked
2026-09-23 13:34 UTC30not tracked
2026-09-23 13:29 UTC30not tracked
2026-09-23 13:24 UTC30not tracked
2026-09-23 13:17 UTC30not tracked
2026-09-23 13:12 UTC30not tracked
2026-09-23 13:08 UTC30not tracked
2026-09-23 13:03 UTC30not tracked
2026-09-23 12:58 UTC30not tracked
2026-09-23 12:54 UTC30not tracked
2026-09-23 12:49 UTC20not tracked
2026-09-23 12:45 UTC20not tracked
2026-09-23 12:40 UTC20not tracked