backend ok
Story history
Score and comment observations over time
Grok is a surprisingly good automated theorem prover
HN #49,010,310 | submitted 2026-07-22 17:28 UTC
43 observationsby henryrobbins00
1 points
Latest score
1 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-07-22 17:31 UTC2026-07-22 20:53 UTC
Comments
Range 0 to 1
2026-07-22 17:31 UTC2026-07-22 20:53 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-22 17:31 UTCLatest 2026-07-22 20:53 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-22 20:53 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:49 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:44 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:40 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:35 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:28 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:23 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:18 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:13 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:09 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:04 UTC | 1 | 1 | not tracked |
| 2026-07-22 20:00 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:55 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:50 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:46 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:41 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:36 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:32 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:25 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:21 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:16 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:11 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:07 UTC | 1 | 1 | not tracked |
| 2026-07-22 19:02 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:57 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:52 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:48 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:43 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:38 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:34 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:29 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:23 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:18 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:13 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:09 UTC | 1 | 1 | not tracked |
| 2026-07-22 18:04 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:59 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:55 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:50 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:45 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:41 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:36 UTC | 1 | 1 | not tracked |
| 2026-07-22 17:31 UTC | 1 | 0 | not tracked |