OpenAIは、次期主力モデル「Astra」の社内版により、数学や理論計算機科学の未解決問題10件で新たな結果を得たと発表した。「Astra」の名称公表は初とみられる。計算コストは「Sol」換算で約2000ドルに抑えられ、証明支援系「Lean」による形式証明もGitHubで公開。高度な数学研究への応用可能性を示した。
|
|
OpenAIは、次期主力モデル「Astra」の社内版により、数学や理論計算機科学の未解決問題10件で新たな結果を得たと発表した。「Astra」の名称公表は初とみられる。計算コストは「Sol」換算で約2000ドルに抑えられ、証明支援系「Lean」による形式証明もGitHubで公開。高度な数学研究への応用可能性を示した。
|
Dreameが、扇風機らしくないインパクトのあるデザインの羽根なし扇風機「Dre...
NVIDIAはトヨタ自動車との協業を通じて、車両開発やソフトウェア開発、工場運営...
電通は7月29日、異なるデータソース間で重複するIDを教師データとし、独自AIで...
ソニーグループの2026年度第1四半期連結業績は、売上高が前年同期比8.2％増の...
本連載「最新研究から読み解く 天文学・宇宙物理学の最前線」では、宇宙に関する最新...
Googleは7月30日（米国時間）、Chromeのバージョン149～151で計...
Leopold Aschenbrennerm raised $100 milli...
日本オラクルは7月30日、ERPなどの「Oracle Fusion Cloud ...
Balaji Srinivasan left Silicon Valley to...
