Original transcript · Simplified Chinese

Carina Hong on Mathematical Intuition, Formal Proof and AI

ORIGINAL TITLE洪乐潼：数学直觉、形式化证明与 AI 数学家的可能性

洪洪乐潼Guest · Axiom
Channel
Zhang Xiaojun Podcast
Video
4:24:17
Transcript language
Simplified Chinese
Source
Speech recognition, unedited

This is the video's original transcript, shown as is and unedited. The edited full text, the summary and the translations are on the article page.

Back to the articleOpen on YouTube

Loading the transcript…