News for hackers. Stuff that matters.

A comment on LLM Daydreaming. Parent comment

Re:LLM Daydreaming by jerf on Wednesday July 16, 2025 @10:47AM (#44582930)
Those things are being done. Program testing is now off-the-shelf tech, and as for math proofs, see: https://www.geeky-gadgets.com/google-deepmind-alphaproof/
[ Parent | on HN ]

There are no comments on this comment yet.