backend ok
Story history
Score and comment observations over time
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz
HN #49,108,547 | submitted 2026-07-30 11:29 UTC | twitter.com
54 observationsby jryan49
4 points
Latest score
0 comments
Latest comments
+3
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 1 to 4
2026-07-30 11:34 UTC2026-07-30 15:40 UTC
Comments
Range 0 to 0
2026-07-30 11:34 UTC2026-07-30 15:40 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-30 11:34 UTCLatest 2026-07-30 15:40 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-30 15:40 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:36 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:31 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:26 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:22 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:17 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:13 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:08 UTC | 4 | 0 | not tracked |
| 2026-07-30 15:03 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:59 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:54 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:50 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:43 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:38 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:34 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:29 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:24 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:20 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:15 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:11 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:06 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:01 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:57 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:52 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:47 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:43 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:38 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:34 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:29 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:24 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:20 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:15 UTC | 3 | 0 | not tracked |
| 2026-07-30 13:11 UTC | 2 | 0 | not tracked |
| 2026-07-30 13:06 UTC | 2 | 0 | not tracked |
| 2026-07-30 13:01 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:57 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:52 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:47 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:43 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:38 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:34 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:29 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:24 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:20 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:15 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:11 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:06 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:01 UTC | 2 | 0 | not tracked |
| 2026-07-30 11:57 UTC | 2 | 0 | not tracked |
| 2026-07-30 11:52 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:48 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:43 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:38 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:34 UTC | 1 | 0 | not tracked |