Google’s new advance combines a large language model with a self-learning AI. The technique could address some shortcomings with AI—although there’s a catch.
https://www.wired.com/story/google-deepmind-alphaproof-ai-math/
https://www.wired.com/story/google-deepmind-alphaproof-ai-math/