You must log in or register to comment.
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.