ViewTube

ViewTube
Sign inSign up
Skip

Recommended videos

Joint Mathematics Meetings
Kamuela Yong "When Mathematicians Don't Count"
59:52
Kamuela Yong "When Mathematicians Don't Count"

1,229 views

3 months ago

Blue Speed
Timeline of Greatest Mathematicians
4:25
Timeline of Greatest Mathematicians

1,065,067 views

3 years ago

Stand-up Maths
When a complicated proof simplifies everything
6:22
When a complicated proof simplifies everything

6,340 views

37 minutes ago

Domain of Science
The Map of Mathematics
11:06
The Map of Mathematics

13,502,280 views

7 years ago

Show more

Terence Tao, "Machine Assisted Proof"

163,628 views

0

Channel image

Joint Mathematics Meetings

7.11K subscribers

Wed, 07 Feb 2024 00:00:00 GMT
Share

Tags

mathematics

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."

221 Comments