backend ok
Story history
Score and comment observations over time
Why is there no AlphaZero for theorem proving?
HN #50,122,904 | submitted 2026-10-16 19:02 UTC
51 observationsby hyperpallium2
3 points
Latest score
2 comments
Latest comments
+2
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 3
2026-10-16 19:08 UTC2026-10-16 22:59 UTC
Comments
Range 0 to 2
2026-10-16 19:08 UTC2026-10-16 22:59 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-16 19:08 UTCLatest 2026-10-16 22:59 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-16 22:59 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:54 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:50 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:45 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:40 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:36 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:31 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:27 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:22 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:17 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:13 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:08 UTC | 3 | 2 | not tracked |
| 2026-10-16 22:04 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:59 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:54 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:50 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:45 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:41 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:36 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:31 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:27 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:22 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:18 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:13 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:08 UTC | 3 | 2 | not tracked |
| 2026-10-16 21:04 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:59 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:55 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:50 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:45 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:41 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:36 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:32 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:27 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:22 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:18 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:13 UTC | 3 | 2 | not tracked |
| 2026-10-16 20:08 UTC | 3 | 1 | not tracked |
| 2026-10-16 20:04 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:59 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:55 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:50 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:45 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:41 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:36 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:31 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:27 UTC | 3 | 1 | not tracked |
| 2026-10-16 19:22 UTC | 2 | 1 | not tracked |
| 2026-10-16 19:18 UTC | 1 | 0 | not tracked |
| 2026-10-16 19:13 UTC | 1 | 0 | not tracked |
| 2026-10-16 19:08 UTC | 1 | 0 | not tracked |