Meta’s SPICE framework lets AI systems teach themselves to reason

The self-play framework uses a 'Challenger' and a 'Reasoner' to create a self-improving loop, pushing the boundaries of AI ...
Quanta Magazine

To Have Machines Make Math Proofs, Turn Them Into a Puzzle

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...