Provable Inference
0 comments
- Points198
- Comments87
0 comments
Story details from Hacker News ↗ · linked article on anthropic.com.
Provable Inference was first seen on Hacker News · Front page on Nov 4, 2026. Since then it has appeared in 84 checks on 2 different days. Its best position was #10 of 30, reached on Nov 5, 01:37 UTC. It dropped off the list after Nov 5, 14:07 UTC.
Position on Hacker News · Front page at every check (lower is better).
Best rank per day (UTC).
Platform metric as reported by Hacker News.
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
This is built on VerInf, work that I did as a MARS fellow. They ripped everything down to the choice of 400B Maverick from us with very little attribution. Cool, I guess... https://github.com/jamespetrie/verinf
I've been writing about the need for provable inference (and training) on and off for a number of years; this is welcome news and a good start, and a significant improvement on prior zk results. The problems of inference proof for a closed model provider are more difficult than an open model provider -- you can get a…
> In both cases the question is the same: how can a company be sure of which weights are actually running on its servers? > the resulting commitment is good for about 16 million requests, after which the provider has to commit again. > The client downloads the commitment, ~6.5 MB in all, and then one proof per…
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 5, 14:07 UTC, after 2 days of trending.
#10 on Hacker News · Front page, on Nov 5, 01:37 UTC. Trendoday checks this list every 15 minutes.
It was first seen on Nov 4, 2026 and has been on the list on 2 days (84 checks) since.
198 points and 87 comments; submitted by ltononro on Nov 4, 2026.