When Computers Write Proofs, What's the Point of Mathematicians?
Quanta Magazine
•
November 23, 2023
Quanta Magazine
View ChannelAbout
Explore mind-blowing breakthroughs in basic science and math research. Quanta Magazine is an award-winning, editorially independent magazine published by the Simons Foundation. http://www.quantamagazine.org/ For more information, contact [email protected] #science #computerscience #math #physics #biology
Latest Posts
Essential Math Enthusiast Gear
AI-recommended products based on this video
Loading...
10.1 Inch Touch Portable Monitor IPS Screen 1366x768P 60Hz 400 Brightness 99% sRGB HDMI USB-C Monitors Switch for Xbox PS3/4/5 Laptop Compatible with Raspberry Pi, Mini Touch Screen
(1)
$99.99
FREE delivery Mon, Aug 11
Loading...
ELECROW 8 Inch Portable Monitor, 1280x800 Mini HD Display with Built-in Speakers, USB Powered, Non-Touch LCD Screen for Raspberry Pi, PC, Laptop, Jetson Nano, Game Consoles
(49)
$117.29$102.21
$6.86 delivery Thu, Aug 14
Loading...
7 Inch Portable Monitor Touchscreen HD 1024x600 LED Display Dual HDMI Port Small Monitor for PC Raspberry Pi Laptop Computer Xbox PS4/5 Switch Built-in Speakers
(61)
$68.99
FREE delivery Tue, Aug 12
Loading...
BrosTrend 1800Mbps WiFi 6 Linux WiFi Adapter for PC and Raspberry Pi 2+, Long Range USB WiFi Dongle Linux for Ubuntu, Mint, Debian, Kubuntu, Lubuntu, Zorin, Windows 11/10, Dual Band Wireless Antenna
(288)
$54.14
FREE delivery Sun, Jun 22
Loading...
Texas Instruments BA II Plus Financial Calculator, Black
(20,991)
$39.99$38.99
FREE delivery Mon, Sep 15
3K+ bought in past month
Loading...
Amazon Basics Low-Odor Chisel Tip Dry Erase Office and Home Whiteboard Marker, Pack of 12, Assorted Colors
(31,569)
$4.49
FREE delivery Mon, Sep 15 on your first order
5K+ bought in past month
Loading...
Pishengfa DIY Stitch Book, Embroidery Stitch Book, DIY Sewing Books, EmbroideryS Books of Stitches, with 86/128 Sewing Tips for Beginners, Unique Embroidery Handmade Gifts (Grey)
(0)
$29.99
$6.99 delivery Dec 23, 2025 - Jan 2, 2026
700+ bought in past month
Loading...
NAFYRE N11 PRO GPS Drone with Camera for Adults 4K UHD, 90 Min Long Flight Time, Long Control Range, Auto Return, Follow Me, Brushless Motor, 5G FPV RC Quadcopter for Beginners
(108)
$149.98
FREE delivery Wed, Aug 20
100+ bought in past month
Loading...
Super Enduring Brushless Motor Drone with Camera for Beginners, CHUBORY A68 WiFi FPV Quadcopter with 2K HD Camera, Auto Hover, 3D Flips, Headless Mode, Trajectory Flight
(1,063)
$89.99
FREE delivery Wed, Aug 20
Loading...
Brushless Super Endurance Foldable Drone for Beginners 35+ mins Flight Time Drone with 90° Wide-Angle 2K HD Camera, Follow me, Dual Cameras, Auto Hover and Trajectory Flight(3 Batteries)
(0)
$199.99
PrimeFREE delivery Sun, Jun 15
Loading...
Shower Steamers Aromatherapy 8 Pack Gifts for Women & Men Bath Bombs, Organic Eucalyptus & Menthol Essential Oil,Birthday Gifts for Wife & Husband Spa Relaxing, Travel Essentials Aromatherapy
(54)
$13.99
FREE delivery Thu, Sep 11 on your first order
100+ bought in past month
Loading...
Large Labyrinth 3D Puzzles Maze Cube with Rolling Ball, Challenging Brain Teaser Puzzles for Adults & Kids, High-Difficulty Cube Logic Game for Spatial Awareness Focus Training Stress Relief (Blue)
(3)
$16.99
$5.99 delivery Dec 19 - 29
400+ bought in past month