Carina Hong: Can AI Do Math? Lean Proofs, Ancient Intuition & the Mystery of Mathematics

摘要

訪談數學才女洪樂潼，探討她如何將 AI 應用於數學證明，並透過 Lean 程式語言實現古人的數學直覺。內容涵蓋從數學本質到創業歷程的深層對話。

An interview with mathematician Carina Hong about applying AI to mathematical proofs and her entrepreneurial journey.

這筆內容還沒有取得字幕或內文，這段摘要只根據標題與說明欄產生，可能不夠準確；實際內容請以原站為準。

適合誰看

對數學、AI 應用或創業故事感興趣的讀者。

摘要依據

依據

標題與說明欄（還沒有取得字幕或內文）

為什麼排在這裡

人氣

0.46

新鮮

0.52

在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算

相關內容

• Building an AI Mathematician with Carina Hong - #754Podcast ・ The TWIML AI Podcast ・ 56 分鐘
• AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina HongPodcast ・ The MAD Podcast ・ 1 小時 4 分
• 137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的影片 ・ Zhang Xiaojun Podcast ・ 4 小時 24 分
• 🔬Scaling Past Informal AI - Carina Hong, Axiom MathPodcast ・ Latent Space ・ 1 小時 33 分
• 陶哲轩：数学六大基石与AI时代的科学变革 ​| Terence Tao | 数学基础 | 代数 | 几何 | 概率 | 分析 | 动力学 | 非欧几何 | 爱因斯坦相对论 | 压缩感知 | 菲尔兹奖影片 ・ Best Partners TV ・ 31 分鐘
• Grant Sanderson – AI and the future of math文章 ・ Dwarkesh Patel ・ 1 小時 34 分