Scott Aaronson访谈谈OpenAI疑似用AI证明复杂度猜想

TOEwithCurt发布与复杂度理论家Scott Aaronson的对谈，讨论OpenAI发布的疑似AI证明与Dana Moshkovitz多年研究的猜想有关。双方进一步讨论AI解决开放性问题对数学、物理和AI本身的意义，并认为这可能是数学史上最重要的时刻之一。