AI破解80年數學難題
OpenAI數學家僅用一個提示,就讓AI聊天機器人破解了一個存在80年的幾何學難題。
據《自然》雜誌報道,OpenAI的研究人員僅通過一個提示,就讓人工智能聊天機器人破解了一個存在80年之久的幾何學難題。這一突破展示了AI在高級數學推理方面的巨大潛力,並引發了對AI輔助數學研究前景的廣泛討論。
該幾何問題最初於20世紀40年代被提出,一直被視為該領域的經典挑戰。問題涉及複雜空間結構的性質,多年來許多數學家嘗試提出解決方案,但均未成功。OpenAI團隊使用其最新的AI模型,僅向聊天機器人輸入了一個自然語言描述的問題,模型便給出了完整的證明過程,沒有藉助額外的迭代或人工干預。
據悉,該聊天機器人基於OpenAI的GPT架構,經過特定數學語料的微調。研究人員並未公開模型的詳細參數,但強調這次成功並非偶然——此前模型已在多種數學競賽中展現出色表現。然而,解決長期未決的公開難題尚屬首次,標誌着AI在科研發現中的應用邁出了關鍵一步。
這一成果立即在數學界引起轟動。一些專家認為,AI可以成為數學家的得力助手,幫助探索新的證明路徑或驗證猜想,從而加速科研進程。也有學者持謹慎態度,指出AI的“創造性”仍需人類專家驗證,且其推理過程缺乏透明度。儘管如此,OpenAI的突破無疑證明了機器學習在傳統抽象領域中的價值。
目前,相關研究尚未正式發表,但《自然》雜誌已對其進行了報道。業內人士預計,這一事件將推動更多機構將AI用於數學研究,並可能改變未來的教育和研究範式。與此同時,OpenAI表示將繼續改進模型,使其能夠處理更復雜的數學結構。未來,AI與人類的協作有望成為數學發現的新常態。