
        Developing the Artificial Mathematical Superintelligence
<p>You can now become a channel member on Youtube. 
<a href="mailto:https://www.youtube.com/@aboutlogic">https://www.youtube.com/@aboutlogic</a></p>
<p>Your support helps us keep these conversations going! 
If you’d like to contribute, you can buy us a coffee here: <a href="https://buymeacoffee.com/aboutlogic">https://buymeacoffee.com/aboutlogic</a></p>
<p>Get the HoTT Book for free (no advertisement): <a href="https://homotopytypetheory.org/book/">https://homotopytypetheory.org/book/</a>
Thorsten Altenkirch: <a href="http://www.cs.nott.ac.uk/~psztxa/">http://www.cs.nott.ac.uk/~psztxa/</a>
Deniz Sarikaya: <a href="https://www.denizsarikaya.de/">https://www.denizsarikaya.de/</a>
Creative Production: Jan-Niklas Meyer: <a href="http://www.jammos.com/">http://www.jammos.com/</a></p>
<h1 id="aimathematicsharmonicaristotleleanproofassistantsfutureofmathriemannhypothesisaboutlogic">AI #Mathematics #Harmonic #Aristotle #Lean #ProofAssistants #FutureOfMath #RiemannHypothesis #aboutlogic</h1>
      

Can AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem prover — joins Deniz and Thorsten to discuss how mathematical superintelligence is transforming research, education, and the very nature of proof.

aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)

Description