『aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)』のカバーアート

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

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

無料で聴く

ポッドキャストの詳細を見る

【Amazonプライム会員限定】今ならプレミアムプランが4か月 月額99円。

10月19日まで。※適用条件あり
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.
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません