XユーザーのPolymarket Japanさん: 「【速報】OpenAI次世代モデル「Astra」が未解決問題10個を突破
・研究用内部版が数学・理論CSの長年難問を一挙に解決
・数学・量子・理論CSでLean検証可能な証明を生成
・10件の解の発見コストは合計約2,000ドルという安さ
次世代モデルが「科学で本当に使える」段階に入ったことを示す成果 https://t.co/OxdaogKFDY」 / X
URL①: https://x.com/polymarketjapan/status/2083492189188034935?s=46
No comments yet