NatokHD
Back to Browse
Pietro Monticone
227 subscribers
7 videos
View on YouTube
Latest Videos
59:25
Machine Assisted Proofs Terence Tao
Pietro Monticone
1.7K views
·
2 years ago
1:04:19
The Liquid Tensor Experiment Kevin Buzzard
Pietro Monticone
1.7K views
·
2 years ago
1:16:06
What Is an Interactive Theorem Prover Kevin Buzzard
Pietro Monticone
2.0K views
·
2 years ago
1:03:48
Can AI Do Mathematics Kevin Buzzard
Pietro Monticone
3.6K views
·
2 years ago
4:51:46
AI to Assist Mathematical Reasoning (Day 3)
Pietro Monticone
178 views
·
2 years ago
4:55:03
AI to Assist Mathematical Reasoning (Day 2)
Pietro Monticone
267 views
·
2 years ago
4:56:21
AI to Assist Mathematical Reasoning (Day 1)
Pietro Monticone
580 views
·
2 years ago
Pietro Monticone - NatokHD | NatokHD
