Jordan Ellenberg

PersonMentioned in 1 video

Mathematician who collaborated with Tao and Kevin Buzzard on a workshop about computer-assisted proofs.

Videos Mentioning Jordan Ellenberg

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

Mathematician who collaborated with Tao and Kevin Buzzard on a workshop about computer-assisted proofs.