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

#proof #math #computerscience Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That's why the University of Montreal number theorist has started talking to philosophers about the nature of mathematical proof — and how the discipline of mathematics might evolve in the age of AI. Read the full article at Quanta Magazine: https://www.quantamagazine.org/why-ma... How Close Are Computers to Automating Mathematical Reasoning? https://www.quantamagazine.org/can-co... - VISIT our Website: https://www.quantamagazine.org - LIKE us on Facebook: / quantanews - FOLLOW us Twitter: / quantamagazine Quanta Magazine is an editorially independent publication supported by the Simons Foundation: https://www.simonsfoundation.org/ #math #proof #computerscience

 Parent Directory                             -   
 8-Use-Cases-for-Arti..> 2024-07-18 14:29   11K  
 AI-and-the-Productiv..> 2024-07-30 07:52   18K  
 Andrew-Dudzik-Three-..> 2024-07-22 21:22   11K  
 Apprendre-les-langue..> 2024-07-17 15:58  9.6K  
 Apprendre-les-langue..> 2024-08-03 09:13  6.7K  
 Autopsie-d-une-intel..> 2024-07-17 15:05  9.5K  
 But-what-is-a-GPT-Vi..> 2024-07-08 18:17  5.3K  
 Coder-un-reseau-de-n..> 2024-07-12 07:09  9.6K  
 Conference-SML-Myste..> 2024-07-10 15:09  8.5K  
 Daniel-Andler-Intell..> 2024-07-27 16:42   18K  
 De-l-apprentissage-d..> 2024-07-18 10:08   12K  
 De-la-regression-lin..> 2024-07-10 16:27  9.7K  
 De-la-regression-log..> 2024-07-18 13:10   11K  
 FORMATION-DEEP-LEARN..> 2024-07-09 11:28  7.6K  
 GPT-4o-est-arrivee-L..> 2024-05-28 14:54  5.4K  
 How-Large-Language-M..> 2024-07-30 07:47   18K  
 Il-etait-une-fois-Ch..> 2024-05-27 09:49  5.5K  
 Intelligence-artific..> 2024-07-05 08:41  5.3K  
 L-Entscheidungsprobl..> 2024-07-10 15:20  8.5K  
 L-IA-et-ses-defis-Co..> 2024-07-19 19:16   11K  
 L-INTELLIGENCE-ARTIF..> 2024-07-17 17:48   12K  
 L-Intelligence-Artif..> 2024-07-04 18:23  5.4K  
 L-apprentissage-par-..> 2024-07-20 21:27   12K  
 L-apprentissage-prof..> 2024-07-08 18:09  5.3K  
 Lagrangian-Neural-Ne..> 2024-07-18 13:00   11K  
 Le-pere-fondateur-du..> 2024-07-04 18:23  5.4K  
 Les-mathematiques-de..> 2024-07-18 10:21   11K  
 MIT-Introduction-to-..> 2024-07-17 16:16  9.5K  
 Mais-qu-est-ce-qu-un..> 2024-07-05 16:35  5.3K  
 Mathematiques-et-IA-..> 2024-07-18 10:14   11K  
 Michael-Bronstein-Ge..> 2024-07-23 05:44   11K  
 Michio-Kaku-Quantum-..> 2024-07-18 09:49   11K  
 Miles-Cranmer-The-Ne..> 2024-07-23 05:49   12K  
 Perdons-nous-le-cont..> 2024-05-27 09:58  5.5K  
 Philippe-Aghion-Les-..> 2024-07-19 19:18   11K  
 Reflechir-aux-usages..> 2024-07-19 10:23   12K  
 Reseaux-de-neurones-..> 2024-07-17 15:39  9.5K  
 Sora-l-outil-pour-ge..> 2024-08-01 16:38   19K  
 The-Map-of-Quantum-C..> 2024-07-18 10:25   11K  
 The-Most-Important-A..> 2024-07-18 13:01   11K  
 The-Next-Decade-in-A..> 2024-07-31 08:56   19K  
 The-moment-we-stoppe..> 2024-07-23 07:40   17K  
 Un-texte-un-mathemat..> 2024-07-10 14:45  9.8K  
 What-are-LLM-Embeddi..> 2024-07-18 09:59   11K  
 What-is-Large-Scale-..> 2024-08-01 15:51   18K  
 What-is-RAG-Retrieva..> 2024-07-19 19:27   11K  
 Yann-Le-Cun-Meta-nou..> 2024-07-19 10:48   12K  
 Yann-Lecun-Meta-AI-O..> 2024-07-17 16:03  9.6K