The summer Math fell to the machines... 1w Artificial intelligence Machine learning Automated theorem proving
