LLM with supervision math discovery: “FunSearch was able to come up with code that produced a correct and previously unknown solution to the cap set problem”

Posted on by

Link. Similar to how Q* has been described, merging LLM with a supervision system. Only the beginning …