backend ok
Story history
Score and comment observations over time
AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug
HN #49,110,494 | submitted 2026-07-30 14:26 UTC | infosec.exchange
47 observationsby YeGoblynQueenne
10 points
Latest score
1 comments
Latest comments
+9
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 10
2026-07-30 14:29 UTC2026-07-30 18:04 UTC
Comments
Range 0 to 1
2026-07-30 14:29 UTC2026-07-30 18:04 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-30 14:29 UTCLatest 2026-07-30 18:04 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-30 18:04 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:59 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:54 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:50 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:45 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:41 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:36 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:31 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:27 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:22 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:18 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:13 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:08 UTC | 10 | 1 | not tracked |
| 2026-07-30 17:04 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:59 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:54 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:50 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:45 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:40 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:36 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:31 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:27 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:22 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:17 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:13 UTC | 10 | 1 | not tracked |
| 2026-07-30 16:08 UTC | 9 | 1 | not tracked |
| 2026-07-30 16:04 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:59 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:54 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:50 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:45 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:41 UTC | 9 | 1 | not tracked |
| 2026-07-30 15:36 UTC | 9 | 0 | not tracked |
| 2026-07-30 15:31 UTC | 9 | 0 | not tracked |
| 2026-07-30 15:27 UTC | 7 | 0 | not tracked |
| 2026-07-30 15:22 UTC | 6 | 0 | not tracked |
| 2026-07-30 15:18 UTC | 5 | 0 | not tracked |
| 2026-07-30 15:13 UTC | 5 | 0 | not tracked |
| 2026-07-30 15:08 UTC | 5 | 0 | not tracked |
| 2026-07-30 15:04 UTC | 5 | 0 | not tracked |
| 2026-07-30 14:59 UTC | 5 | 0 | not tracked |
| 2026-07-30 14:54 UTC | 4 | 0 | not tracked |
| 2026-07-30 14:50 UTC | 3 | 0 | not tracked |
| 2026-07-30 14:43 UTC | 2 | 0 | not tracked |
| 2026-07-30 14:39 UTC | 2 | 0 | not tracked |
| 2026-07-30 14:34 UTC | 2 | 0 | not tracked |
| 2026-07-30 14:29 UTC | 1 | 0 | not tracked |