OpenAI、社内モデル「Astra」で数学・理論計算機科学の未解決問題10件に前進 ― Erdős問題やConnesの剛性予想にも成果

OpenAIが、社内で開発した実験的モデル「Astra」を用いて、球充填やRamsey数、Connesの剛性予想の反証など数学・理論計算機科学における10件の未解決問題で新たな成果を得たと発表した。