Timothy Gowers @wtgowers @wtgowers Sep 22 Happy to be able to say that my automatic theorem proving group in Cambridge submitted a successful bid to the AI for Math Fund, launched this year by Renaissance Philanthropy and XTX Markets.

Not biased at all.