New search algorithm boosts AI exploration in math and quantum computing

Original: LLM-assisted search in verifiable domains is incredibly exciting right now. The model matters, but so does the algorithmic harness used to explore the search space and iterate toward better solutions.

Source: x.com ↗