Mathematics in the age of automated proofs: AlphaProof (From the lab into your hands). ~ Thomas Hubert. youtu.be/uhwfTOUIeiw #AI #Math #ITP #LeanProver #AlphaProof