backend ok
Story history
Score and comment observations over time
Advancing mathematics research with AI-driven formal proof search
HN #50,032,119 | submitted 2026-10-10 12:10 UTC | science.org
69 observationsby 01-_-
1 points
Latest score
0 comments
Latest comments
0
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 1
2026-10-10 12:12 UTC2026-10-10 17:31 UTC
Comments
Range 0 to 0
2026-10-10 12:12 UTC2026-10-10 17:31 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-10 12:12 UTCLatest 2026-10-10 17:31 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-10 17:31 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:26 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:21 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:17 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:12 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:08 UTC | 1 | 0 | not tracked |
| 2026-10-10 17:03 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:58 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:54 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:49 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:45 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:38 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:34 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:29 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:25 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:20 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:15 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:11 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:06 UTC | 1 | 0 | not tracked |
| 2026-10-10 16:01 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:57 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:52 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:48 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:43 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:38 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:34 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:29 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:25 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:20 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:16 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:11 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:06 UTC | 1 | 0 | not tracked |
| 2026-10-10 15:02 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:57 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:52 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:48 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:43 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:39 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:33 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:28 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:23 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:19 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:14 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:10 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:05 UTC | 1 | 0 | not tracked |
| 2026-10-10 14:00 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:56 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:51 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:46 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:42 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:37 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:32 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:28 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:23 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:19 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:14 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:09 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:05 UTC | 1 | 0 | not tracked |
| 2026-10-10 13:00 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:56 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:51 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:46 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:42 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:37 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:33 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:26 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:21 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:17 UTC | 1 | 0 | not tracked |
| 2026-10-10 12:12 UTC | 1 | 0 | not tracked |