The Ultimate Solving Machine