A IA Acabará com a Profissão de Matemático? | Aperitivos Matemáticos - EP4

What will happen to the mathematician profession if AI becomes better than humans at proving theorems? Did you know that an AI refuted an important mathematical conjecture last Sunday (July 19, 2026)? In this relaxed chat, we'll have the help of Prof. Walter Carnielli to discuss the impacts of AI on mathematical activity. We also have a special participation from Marcio Palmares, a master's student in philosophy of mathematics. Come join our Discord community with over 4,000 math lovers:   / discord   Article by Prof. Walter Carnielli on AI, written in 2021: https://revistas.pucsp.br/index.php/c... Article by David Bessis on "The Fall of Theorem Economy": https://davidbessis.substack.com/p/th... Article about Blob, a brainless creature that solves complex problems that we consider "intelligent solutions": https://pubs.rsc.org/sm/article-abstr... Video from Quanta Magazine about brainless intelligence:    • Intelligence Without Brains: A Radical New...   Ways to Support the Channel Buying anything on Amazon using the following Link: https://amzn.to/4dAczLj Use coupon code HOBBY10 on the entire Azimute publishing house website: https://editoraazimute.com Buying from my Amazon store: https://www.amazon.com.br/shop/matema... Buying anything on Shopee using the following link: https://s.shopee.com.br/AUboMQuVtR Buying our t-shirts: https://reserva.ink/470704 Sending any amount using the following Pix key: [email protected] Following me on Instagram:   / matematicahobby   Clicking on the ads that appear in the video. Chapters 00:00 - Introduction 04:45 - Are mathematicians afraid of being replaced? 09:14 - Is it worrying not to understand the "right" answers from AI? 13:49 - Are we underestimating AI's ability to help us understand mathematics? 20:34 - Are we living through a scientific revolution? 26:42 - Are there insurmountable limits to AI in relation to human intelligence? 31:19 - Is mathematics just about proving theorems? 36:02 - The era of the study of intelligence 41:30 - AI teaching us a lesson in humility 45:16 - Will AI help us understand ourselves? 50:15 - Unfounded fear: more hype than results 54:04 - Can we call AI a "collaborator"? 57:16 - Will the mathematician who doesn't use AI be left behind? 1:01:29 - Will AI do mathematics on its own? 1:07:48 - Will we continue to surpass technology? 1:09:13 - How to take this power away from Big Tech? 1:15:25 - The path is open-source collaboration 1:26:25 - AI as a philosophical experiment 1:29:42 - Conclusion