En développementTech·il y a 3 heuresRésumé IA米OpenAI、次期主力モデル「Astra」で数学・計算機科学の未解決問題10件を解決米OpenAIは、次期主力モデル「Astra」の社内版が数学と理論計算機科学の未解決問題10件を解決したと発表した。これはOpenAIが「Astra」の名称に公式に言及した初の事例であり、高次元幾何や群論など多岐にわたる分野で長年進展がなかった問題が含まれる。IITmedia1 min de lecture