Terence Tao, “Machine Assisted Proof“
Terence Tao, UCLA, gives the first of three AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings in San Francisco. This lecture is entittled, “Machine Assisted Proof.“
2 months ago 00:57:24 1
5 months ago 01:42:54 1
10 months ago 00:10:57 1
10 months ago 00:54:56 1
12 months ago 00:10:01 1
1 year ago 00:01:00 2
1 year ago 04:05:00 1
2 years ago 00:04:38 1
2 years ago 00:47:51 1
2 years ago 00:05:21 1
2 years ago 00:11:13 1
4 years ago 00:07:03 5
4 years ago 00:24:09 1
4 years ago 00:55:36 1
6 years ago 01:02:10 3
7 years ago 00:50:30 28
![“Concatenation theorems for the Gowers uniformity norms, and applications“ Terence Tao [2015]](https://sun9-26.userapi.com/8-VLA5E2-UZU-ziSpCiex_-M1CVfps0OM8pMNw/vD86qALH3gk.jpg)
10 years ago 01:05:04 14
11 years ago 00:03:01 1.2K
