Re:AlphaProof Code
by mapcars on Tuesday November 10, 2026 @08:48AM
(#50440302)
Tested is one thing, proved is another. While you need less people to do this, now it also becomes meaningful to spend resources on, instead of another new feature.
[ Parent
| on HN ]
There are no comments on this comment yet.