AI能做科學研究嗎？理論物理學家談AI數學證明、科學發現與人工智慧的能力極限｜José Ignacio Latorre

這支影片帶你快速掌握： ・科學未必永遠只有人類在做。 ・形式驗證怎樣幫 AI 的推導接受獨立檢查。 ・從曾見過的案例作插值，不等於對完全未知情境有答案。 ・科學值得信任，是因為原則能一再接受批判與重檢。 ⏱ 章節 00:00 科學未必永遠只有人類在做 00:10 提出問題的人 00:25 正在研究什麼 01:58 寫出證明之後 03:51 兩種不同的檢查 04:33 證明與發現 06:26 未知，能靠已知推算嗎？ 07:35 科學家的真實工作 09:28 一次有用的批評 09:58 當 AI 參與發現 原始影片 Arpa Talks｜《José Ignacio Latorre. Ciencia, IA y computación cuántica | Arpa Talks (122)》    • José Ignacio Latorre. Ciencia, IA y comput...