Comment by supar

"These guys have solved the problem using the tried and trusted mathematical technique of sheer brute force.

In essence these guys have examined every potential 16-clue solution for every possible Sudoku grid."

I was actually hoping for a formal solution or proof here by reading the title.