【OpenAI被曝接近解決又一個“千禧年大獎難題”】9月17

【OpenAI被曝接近解決又一個“千禧年大獎難題”】9月17日訊，據The Information報道，在本月早些時候，OpenAI因被數學家指控試圖搶佔他們解決一道超高難度數學題的功勞而陷入輿論漩渦，但一位瞭解該解法的人士透露，OpenAI 目前已接近解決“千禧年大獎問題”中的另一道數學難題。該人士表示，員工們預計下一個問題——即霍奇猜想——將在不久後得到解決。不過，該人士稱，公司可能需要更長時間才能公佈解決方案，因爲它正在設法與數學界合作，以確保在發佈消息時不會引發另一場公關危機。報道稱，雖然解決這些問題並不便宜，然而，一些OpenAI的研究人員認爲，在軟件工程之後，數學是其模型接下來應探索的自然領域。這兩個領域具有相似的特點：它們都要求循序漸進的邏輯推理，且得出的答案通常可以自動驗證其正確性。一些研究人員甚至認爲，過去一年間在軟件工程領域發生的自動化浪潮，將在未來六到九個月內席捲數學領域。此外，解決艱深的數學問題也有助於人工智能開發者推進機器學習研究的自動化進程——該領域涉及大量數學內容。