只有外里挑一的學霸才敢挑戰(zhàn)的國際奧數(shù)競賽IMO，今年卻被AI搶了風頭：OpenAI和谷歌DeepMind一前一后宣布，他們的模型已經(jīng)達到了IMO金牌的標準。與之前不同的是，這次的AI模型在不依賴編程語言、完全用自然語言解題的情況下達到滿分，比去年DeepMind發(fā)布的數(shù)學模型進了大一步。這個結(jié)果意味著什么？我們是離AGI是更近了一步，還是失去了研究數(shù)學的意義？在這期視頻里，我們邀請了前IMO金牌得主，以親歷者的角度來評價AI的解法，并解析為什么IMO成了衡量AI數(shù)學能力的關(guān)鍵？最新的AI模型有哪些技術(shù)突破？這是數(shù)學界的AlphaGo時刻嗎？