Hacker News new | past | comments | ask | show | jobs | submit
gigatexal | on: AlphaProof Code
Agreed. This doesn’t read like the hype most ai firms put out. Google is using it like a tool. The human review of the 1% that matters is really smart.
sanderjd | parent
Yeah this is what people want, less hype, more "boring" but useful examples of a powerful tool.