OpenAIは、内部の推論モデルが自律的に平面上の単位距離問題を解いたと述べました。これは、1946年にポール・エルデシュによって最初に提起された離散幾何学の問題です。OpenAIは、外部の数学者が証明を検証し、その結果を生物学、物理学、材料科学、医療などの分野でのより自動化された研究への一歩と表現しました。
OpenAIはモデルが80年の平面単位距離問題を解決したと発表