First Proof

多所頂尖大學數學家在arXiv發布《First Proof》，設計10道來自真實研究過程的引理，作為檢驗AI是否能完成研究級數學證明的試金石。OpenAI於2月14日公開模型作答結果，表示至少5題具有高度正確可能