看看數學家米歇爾·范·加雷爾談論我們最新的雙子星深度思考模型如何能夠用與他考慮的非常不同的方法來證明一個猜想。