Breaking Math Podcast
131 - 90. LEAN Theorem Provers used to model Physics and Chemistry
131 - 90. LEAN Theorem Provers used to model Physics and Chemistry
Breaking Math brings you the absolute best in interdisciplinary science discussions - bringing together experts in varying fields including artificial intelligence, neuroscience, evolutionary biology, physics, chemistry and materials-science, and more - to discuss where humanity is headed.
** Includes helpful information for STEM students such as scholarship opportunities, free and cheap resources such as textbooks, open source material, recommended lectures on YouTube, School-to-Career pipeline tips and more! Subscribe to our newsletter on our website below:
website: breakingmath.io
linktree: linktree.com/breakingmathmedia
email: breakingmatnpodcast@gmail.com
More episodes
-
131 - 90. LEAN Theorem Provers used to model Physics and ChemistrySat, 16 Mar 2024
-
130 - 89. Brain Organelles, AI, and the Other Scary Science - An Interview with GT (Part I)Tue, 05 Mar 2024
-
129 - 88. Can OpenAi's SORA learn and model real-world physics? (Part 1 of n)Tue, 27 Feb 2024
-
128 - 87. OpenAi SORA, Physics-Informed ML, and a.i. Fraud- Oh My!Tue, 20 Feb 2024
-
127 - 86. Math, Music, and Artificial Intelligence - Levi McClain Interview (Final Part)Sun, 18 Feb 2024
Daha fazla bölüm göster
5
Daha fazla haberler & politika pod yayını
Daha fazla haberler & politika uluslararası pod yayını
Radyo istasyonunuzu bulun