PTT推薦

[問卦] 陶哲軒開YT頻道了

LukeSkywaker 發表於 2025/5/18 上午10:51:17
看板Gossiping標題[問卦] 陶哲軒開YT頻道了作者
LukeSkywaker
 (路克天醒者)時間推噓 9 推:10 噓:1 →:10

全世界最頂尖的數學家陶哲軒Terence Tao

居然在最近開了YT頻道，目前發了三部影片

https://youtu.be/cyyR7j2ChCI

有人可以翻譯一下他講了什麼嗎？


--

※ PTT留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.136.136.179 (臺灣)
※ PTT 網址
※ 編輯: LukeSkywaker (114.136.136.179 臺灣), 05/18/2025 10:52:02
推

Dcwei 05/18 10:52三角形兩個邊大於第三邊

推

EEzionT 05/18 10:52改天來看看

推

moy5566 05/18 10:52恩恩略懂跟我研究的方向差不多

推

lagi5487 05/18 10:54被搶去開了可惡

→

pippen2002 05/18 10:54捺來的路人？

推

a34567 05/18 10:55平方和之積大於等於積之和的平方

推

guc 05/18 10:581+1=2

推

bbsbox 05/18 11:00終於大神有求於我

→

bbsbox 05/18 11:00請我按讚+訂閱....

→

bbsbox 05/18 11:00考慮考慮

推

E6300 05/18 11:01三角含住

→

zephyr105 05/18 11:05很簡單啊 居然不懂

噓

YesNoter 05/18 11:13跟我想的一樣

→

g70245 05/18 11:41教學影片 用 lean+copilot 構造標

→

g70245 05/18 11:41準證明

→

g70245 05/18 11:52ChatGPT: 展示實驗，作者示範如何

→

g70245 05/18 11:52結合 Copilot 和 Lean 的 canonica

→

g70245 05/18 11:53l tactic，把一篇人工證明快速形式

→

g70245 05/18 11:53化成機器可驗證的證明

推

stupid1988 05/18 14:52是不是擁有以後就會開始要失去

推

ISNAKEI 05/18 15:40他有一個講天文的 很有趣

其他人也閱讀了
PTT 熱門相關