technology #AI #Science #ComputerScience #InternationalMathematicalOlympiad #Math #Proofs DeepMind’s latest: An AI for handling mathematical proofs Ars Technica Nov 19
BURST