backend ok
Story history
Score and comment observations over time
AI "Proves" Collatz Conjecture with Lean 4 Bug
HN #49,101,465 | submitted 2026-07-29 18:50 UTC | twitter.com
62 observationsby pfdietz
8 points
Latest score
4 comments
Latest comments
+4
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 4 to 8
2026-07-29 18:57 UTC2026-07-29 23:38 UTC
Comments
Range 0 to 4
2026-07-29 18:57 UTC2026-07-29 23:38 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-29 18:57 UTCLatest 2026-07-29 23:38 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-29 23:38 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:33 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:29 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:24 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:20 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:15 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:10 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:06 UTC | 8 | 4 | not tracked |
| 2026-07-29 23:01 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:57 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:52 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:47 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:43 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:38 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:34 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:29 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:25 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:20 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:15 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:11 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:06 UTC | 8 | 4 | not tracked |
| 2026-07-29 22:02 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:57 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:52 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:48 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:43 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:38 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:34 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:29 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:25 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:20 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:16 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:11 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:06 UTC | 8 | 4 | not tracked |
| 2026-07-29 21:02 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:57 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:52 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:48 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:43 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:39 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:34 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:29 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:25 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:20 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:16 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:11 UTC | 8 | 4 | not tracked |
| 2026-07-29 20:06 UTC | 7 | 3 | not tracked |
| 2026-07-29 20:02 UTC | 7 | 3 | not tracked |
| 2026-07-29 19:57 UTC | 7 | 2 | not tracked |
| 2026-07-29 19:53 UTC | 7 | 2 | not tracked |
| 2026-07-29 19:48 UTC | 7 | 2 | not tracked |
| 2026-07-29 19:43 UTC | 6 | 1 | not tracked |
| 2026-07-29 19:39 UTC | 5 | 1 | not tracked |
| 2026-07-29 19:34 UTC | 5 | 1 | not tracked |
| 2026-07-29 19:29 UTC | 5 | 1 | not tracked |
| 2026-07-29 19:25 UTC | 5 | 1 | not tracked |
| 2026-07-29 19:20 UTC | 5 | 0 | not tracked |
| 2026-07-29 19:16 UTC | 5 | 0 | not tracked |
| 2026-07-29 19:11 UTC | 5 | 0 | not tracked |
| 2026-07-29 19:06 UTC | 5 | 0 | not tracked |
| 2026-07-29 19:02 UTC | 4 | 0 | not tracked |
| 2026-07-29 18:57 UTC | 4 | 0 | not tracked |