Signin

When Computers Write Proofs, What's the Point of Mathematicians?

Quanta Magazine • January 31, 2024

Video Thumbnail

You May Also Like

Video Thumbnail

The Man Who Revolutionized Computer Science With Math

Quanta Magazine

Video Thumbnail

Can a New Law of Physics Explain a Black Hole Paradox?

Quanta Magazine

Video Thumbnail

The Man Who Solved the World’s Hardest Math Problem

Newsthink

Video Thumbnail

Improving Cryptography to Protect the Internet

Quanta Magazine

Video Thumbnail

Andrew Wiles - What does it feel like to do maths?

plusmathsorg

Video Thumbnail

How AI Could Save (Not Destroy) Education | Sal Khan | TED

TED

Video Thumbnail

Zero Knowledge Proof (with Avi Wigderson) - Numberphile

Numberphile2

Video Thumbnail

P vs. NP: The Biggest Puzzle in Computer Science

Quanta Magazine

Video Thumbnail

The 360-Page Proof That 1+1=2

Half as Interesting

Video Thumbnail

Why Computer Vision Is a Hard Problem for AI

Quanta Magazine

Video Thumbnail

Excellent Proof Writing Book For Beginners

The Math Sorcerer

Video Thumbnail

Quantum Computers, Explained With Quantum Physics

Quanta Magazine

Video Thumbnail

The Future of Mathematics?

Microsoft Research

Video Thumbnail

Automated Mathematical Proofs - Computerphile

Computerphile

Video Thumbnail

How Britain Became a Poor Country

Tom Nicholas

Video Thumbnail

Programming with Math | The Lambda Calculus

Eyesomorphic

Video Thumbnail

Roger Penrose - Is Mathematics Invented or Discovered?

Closer To Truth

Video Thumbnail

Category Theory for Neuroscience (pure math to combat scientific stagnation)

Astonishing Hypothesis

Video Thumbnail

Why don't they teach simple visual logarithms (and hyperbolic trig)?

Mathologer

Video Thumbnail

Gödel's Incompleteness Theorem - Numberphile

Numberphile

Quanta Magazine

About

No channel description available.

Latest Posts

Video Thumbnail

How AI Cracked the Protein Folding Code and Won a Nobel Prize

Quanta Magazine

Video Thumbnail

Biggest Puzzle in Computer Science: P vs. NP

Quanta Magazine

Video Thumbnail

2024's Biggest Breakthroughs in Biology and Neuroscience

Quanta Magazine

Video Thumbnail

Space-Time: The Biggest Problem in Physics

Quanta Magazine