In the paper Absolute Zero: Reinforced Self-play Reasoning with Zero Data

https://arxiv.org/pdf/2505.03335

AI learns from scratch on its own to create and prove problems of reasoning incl. deduction, abduction and induction for coding or mathematics in the manner of Alpha(Go)Zero or KataGo creating and improving go decision-making.

Intriguing... It's very jargony, more so than the various AlphaGo papers. I can't tell if this software is actually doing something brilliant, or if it's merely an improvement on previous models that were terrible.

By the way, Robert's link is the direct link to the PDF download. If you want to read the abstract before deciding whether to download the full paper, go to https://www.arxiv.org/abs/2505.03335