There will be much less room for improvement soon.
Tackling fundamental logic: A very hard automated deduction...
Tags: challenge, discuss, cpp, computerscience