OpenAIの次期モデルAstraが数学・CS分野の10課題で新成果を発表GIGAZINE（ギガジン）

OpenAIの次期モデルAstraが数学・CS分野の10課題で新成果を発表

by ライブドアニュース編集部

ざっくり言うと

この記事の見出しと要約はライブドア社が開発したAIにより自動生成されたものです。実験的な機能のため、記事本文と併せてご確認ください。
  • OpenAIの次期AIモデル「Astra」が数学の未解決課題10件で成果を発表した
  • 球充填や量子もつれなど数十年来進展のなかった問題の証明に成功したとのこと
  • 証明はLean 4で形式化されGitHubで公開、解法コストは約31万円相当である
記事を読む

ランキング

  • 総合
  • 国内
  • 政治
  • 海外
  • 経済
  • IT
  • スポーツ
  • 芸能
  • 女子
  1. 1. 重岡大毅&濱田崇裕 結婚W発表
  2. 2. 大阪メトロの列車で「煙が充満」
  3. 3. 山崎怜奈、突然妊娠だけ公表の訳
  4. 4. 性被害者の友人「ラッキーやん」
  5. 5. 池田直人 佐藤佳奈と電撃結婚
  6. 6. 児ポ動画770本 酒飲ませ性加害か
  7. 7. 容態悪化 会話が通じないパー子
  8. 8. 池袋暴走事故 加害者家族の苦悩
  9. 9. 体重62kg→82kgに 寺田心の生活
  10. 10. ケニア人と結婚「差別」のリアル
  1. 11. 俳優の及川光博が結婚を発表
  2. 12. 韓国の審判接待疑惑 JFAが調査へ
  3. 13. 海上自衛隊の生々しい映像が物議
  4. 14. 八嶋智人 仕事ゼロの原因はマネ
  5. 15. 天竺鼠「元天竺鼠」でKOC出場へ
  6. 16. 佐々木 ドジャース守護神候補に
  7. 17. 高級ブドウ約200房を盗んだ疑い
  8. 18. 飯塚幸三氏に長男「勝ち目ない」
  9. 19. 秋田県職員、報道対応で喫煙
  10. 20. ビニールハウスからシャインマスカット約200房を盗んだ疑い　ネットで販売か　無職の男（42）逮捕　岡山県警
  1. 1. 大阪メトロの列車で「煙が充満」
  2. 2. 性被害者の友人「ラッキーやん」
  3. 3. 児ポ動画770本 酒飲ませ性加害か
  4. 4. 池袋暴走事故 加害者家族の苦悩
  5. 5. ケニア人と結婚「差別」のリアル
  6. 6. 高級ブドウ約200房を盗んだ疑い
  7. 7. 秋田県職員、報道対応で喫煙
  8. 8. ビニールハウスからシャインマスカット約200房を盗んだ疑い　ネットで販売か　無職の男（42）逮捕　岡山県警
  9. 9. 飯塚幸三氏に長男「勝ち目ない」
  10. 10. 「避難所格差」生まれてしまう訳
  1. 11. 夜行新幹線 東京発で翌朝大阪着
  2. 12. 日本人が誤解 海外タトゥー事情
  3. 13. 元刑事「ちいかわ」に犯罪指摘
  4. 14. ドラム缶のクマ溺死させ批判殺到
  5. 15. 風呂を覗くため敷地侵入 49歳男
  6. 16. 流しのタクシー捕まらない元凶か
  7. 17. 秋篠宮家が「ご静養」されない訳
  8. 18. 9.5万人が注目 97歳の原爆の記憶
  9. 19. 父の葬儀 勝手に追加された項目
  10. 20. トヨタ超えのキオクシアに苦言
  1. 1. 猛暑でも「冷房を控える」7割超
  2. 2. 新幹線できても生きてない 辛辣
  3. 3. 日本社会に広がる「孫疲れ」
  4. 4. 米 兵器枯渇でイラン戦継続に壁
  5. 5. 192人に症状 静岡で集団食中毒
  6. 6. 高市首相 睡眠不足ポストが物議
  7. 7. 玉川氏の「警察官が死刑」に批判
  8. 8. 「支持率のことしか考えてない」食料品の消費税1%減税は無意味！？これが政治の現実
  9. 9. 外国人犯罪者の巣窟? ビル摘発
  10. 10. 広島と長崎はアメリカの「実験場」だった 莫大な開発費と実戦データ収集が招いた原爆投下の悲劇
  1. 11. 国害SNSを告発 森山裕・自民党前幹事長「高市おろし」キーマンに急浮上の裏…不快感に国境なし
  2. 12. 「相手に悔しがらせる」行動7つ
  3. 13. TOHOシネマズ「サウナ状態」に
  4. 14. 「意外と知らない」2票差で可決された副首都法、実は「何も決まっていない」ヤバい中身
  5. 15. 救急隊のドア破壊に賠償命令
  6. 16. NHK性加害者非公表 波紋広がる
  7. 17. 今井議員に呆れ「このザマ」
  8. 18. 「家庭内合意」が新党船出で露呈
  9. 19. 高市自民党が流し始めた早期解散論“ブラフ” 「消費税減税」反対の野党はどうする？
  10. 20. 雅子さまの元義弟「不倫同棲」か
  1. 1. 台湾代表、長崎の平和式典を欠席
  2. 2. 「アニメの世界が現実に」日本の高校生の様子に中国ネット「青春」「うらやましい」
  3. 3. バイデン氏 がん骨に転移し激痛
  4. 4. 竹島周辺で韓の調査船が無断調査
  5. 5. イエメン軍 フーシ派攻撃を発表
  6. 6. ユ・アイン 有罪確定後の近況か
  7. 7. スペイン 伊の入国審査を再開
  8. 8. タイの学校で銃撃 女子生徒死亡
  9. 9. 炊飯器に放尿 韓国の衝撃夫婦
  10. 10. ソウル40度超 立秋も猛暑続く
  1. 11. 韓国で男性 30年ぶり家族と対面
  2. 12. 東方神起ユンホ「誕生祝」に本音
  3. 13. 務安空港 再開港の見通し立たず
  4. 14. 北朝鮮兵5万人 ロシアで何をする
  5. 15. ホルムズ通航巡りまもなく合意か
  6. 16. BTS 「韓国出身」と歌い抗議か
  7. 17. KARAスンヨン 手の震え止まらず
  8. 18. 米軍 弾薬枯渇でイラン戦に限界
  9. 19. 韓国サッカー協会が疑惑巡り謝罪
  10. 20. 暴露女性 擁護コメントに怒りか
  1. 1. 「東大卒」で就活を舐めた末路
  2. 2. 物価高で得する株主優待を厳選
  3. 3. 容姿と寿命 28年追跡で見えた差
  4. 4. キノコで血糖値スパイクを防ぐ
  5. 5. 修繕積立金 不足で一時金が発生
  6. 6. プチプラ粉で 40代肌が明るく？
  7. 7. FIREの45歳男性 仕事復帰した訳
  8. 8. 早慶から就職先1位 どんな会社?
  9. 9. 年収1000万円は「幸福の天井」?
  10. 10. 都会のローカル線に 3つの終点
  1. 11. スキマバイト 訴訟に発展の裏側
  2. 12. 日本郵便のシステム障害が解消
  3. 13. 相続前5年の不動産 時価評価に
  4. 14. トヨタ 期間従業員手当100万円に
  5. 15. 経営者の飲食費 経費になる5条件
  6. 16. 50・60代 オルカンで手堅く運用
  7. 17. Vポイント 無理なく狙う10%還元
  8. 18. 完璧な遺言書が引き起こした悲劇
  9. 19. 不足するとうつ? 欠かせない食材
  10. 20. 新幹線内で増加する2大トラブル
  1. 1. 藤原竜也、「労務改善」アピール
  2. 2. 楽天銀行アプリでカード請求額も
  3. 3. 「JISLIFE Pro1mini」を辛口評価
  4. 4. コンパクトなのに10000mAhの大容量で最大3台のデバイスを同時充電できる半固体モバイルバッテリー「SMARTCOBY Pro SLIM SS」レビュー
  5. 5. カシオ、黄金の地平線を表現したG-SHOCK「MASTER IN HORIZON GOLD」3モデル
  6. 6. 「iOS14」さっそく脱獄される?
  7. 7. InterBEE2015レポート　HALL4-５とその他
  8. 8. KDDIローミング終了 楽天の課題
  9. 9. 本や雑誌を開いたままキープできるキングジムのブッククリップ「ツイップ」レビュー、 伸縮してA6〜B5判に対応
  10. 10. マスクが年賀ノベルティに変身！　お正月特別パッケージの注文受付開始
  1. 11. 機材選びで損しない！高須幹弥が辿り着いた「大当り」の神マイクとは
  2. 12. NotebookLMが『Gemini Notebook』に大リニューアル！自らコードを書いてデータ分析もできる、Gemini連携＆全機能を完全解説！
  3. 13. 伝説の第1回「TGS」…東京ゲームショウ'96と、当時のベストゲーム10本：レトロゲーム浪漫街道
  4. 14. 京セラの超タフネススマホ「DuraForce PRO 2」はアクションカムとしても優秀
  5. 15. サバイバル・ホラー『レディ・オア・ノット 2』の新本編映像、【バスタイム編】が公開
  6. 16. ソフトバンクとMicrosoftがタッグ、Officeツール「Teams」に03電話を統合
  7. 17. PhotoshopやIllustratorの生成AI「Firefly」がクレジット制を導入し有料プランでも画像生成枚数が制限されるように
  8. 18. 日本一旨い餃子がついに決定「JAPAN餃子大賞2026」授賞式 / コードレスでどこでも使える、電動エアダスター【まとめ記事】
  9. 19. セイコー 5スポーツ、「ホンダ モトコンポ」とのコラボレーション限定モデル / スタミナ満点の「鉄板ワイルドからテキ定食」【まとめ記事】
  10. 20. 【今週のAIツール・ニュース総まとめ】ChatGPT GPT-5.6の大規模アップデート、Claude Codeの最新機能、GoogleのAI部門が過去最大級の組織再編など
  1. 1. 韓国の審判接待疑惑 JFAが調査へ
  2. 2. 須江監督 女子部員に3条件提示
  3. 3. 巨人のベテラン左腕が「密会」か
  4. 4. ラグビー選手が熱中症で倒れ死亡
  5. 5. 佐々木朗希 グラブ疑惑が続く
  6. 6. ヌートバー 山本の気遣いに感謝
  7. 7. 「いわきらしくていいな、可愛い」「斬新」初出場初勝利の東日本国際大昌平、アルプス彩ったフラダンス部の応援に反響　部員は感無量「夢を見ているよう」
  8. 8. 藤川監督 死球口撃で敵を増やす
  9. 9. イチロー氏 52歳でHR連発に驚嘆
  10. 10. 板倉滉 涙の主将就任と負傷交代
  1. 11. 始球式で「日本の超大物」に騒然
  2. 12. メッシの父ホルヘさん死去 68歳
  3. 13. 中日が新庄監督招聘を検討か
  4. 14. 佐野航大 PSVへの完全移籍が決定
  5. 15. メッシの父ホルヘさん 68歳死去
  6. 16. 涙出た 甲子園で流れた1曲に感動
  7. 17. 岡本和真 疲労でベンチ外れる
  8. 18. 38歳格闘家「10代女性」と再婚
  9. 19. マリナーズ50周年 日本人3人選出
  10. 20. 山本由伸 連敗止めへ復調登板
  1. 1. 重岡大毅&濱田崇裕 結婚W発表
  2. 2. 山崎怜奈、突然妊娠だけ公表の訳
  3. 3. 池田直人 佐藤佳奈と電撃結婚
  4. 4. 容態悪化 会話が通じないパー子
  5. 5. 体重62kg→82kgに 寺田心の生活
  6. 6. 俳優の及川光博が結婚を発表
  7. 7. 海上自衛隊の生々しい映像が物議
  8. 8. 天竺鼠「元天竺鼠」でKOC出場へ
  9. 9. 八嶋智人 仕事ゼロの原因はマネ
  10. 10. 松山ケンイチに「叱責」3000件
  1. 11. 俳優の戸塚純貴が結婚を発表
  2. 12. 「許せない不祥事タレント」1位
  3. 13. みな実「セクハラ」回想に絶叫
  4. 14. 転売対策の切り札 効果テキメン
  5. 15. 元青年隊 中居氏の「裏」回顧
  6. 16. 「踊る」スピンオフ 中止と報道
  7. 17. 「義足で夜の営み」モデルの悩み
  8. 18. 大野智のびっしりタトゥーに異変
  9. 19. VIVANT読めず ヒカキンに揶揄
  10. 20. DJ社長 突然「活動終了」を報告
  1. 1. 老けた…? 白髪活かして若見えに
  2. 2. 外面の良い義母 誤爆LINEで一変
  3. 3. 頭皮をボロボロにする夏のNG行為
  4. 4. 定年後に旅行「楽しめない」後悔
  5. 5. 「モテるためのヒント」326人に
  6. 6. 汗悩みが将来に影響？ 医師警鐘
  7. 7. 465gで321円 ドンキプリン品薄
  8. 8. 古見えするアイシャドウの特徴
  9. 9. 躁状態引き起こしかねないNG行動
  10. 10. 定時退社もトイレもNG 精神病に
  1. 11. 夏のむくみ対策 ツボ&反射区押し
  2. 12. 【韓国語クイズ】「잘 어울려요（チャル オウルリョヨ）」の意味は？褒め言葉です♡
  3. 13. 睡眠時の悩みを解消する過ごし方
  4. 14. 隙あらば飼い主の服に入り込む猫。飽きないのかなと動きを見ていると
  5. 15. 女友達と彼氏が婚約破棄? ニヤリ
  6. 16. 1日10分で手軽に「ひざ痛対策」
  7. 17. サイゼが化ける 神アレンジ
  8. 18. 元ZONEでも…芸能界引退したワケ
  9. 19. 横顔の影が気になる49歳の2ヶ月
  10. 20. au PAY スシロー10%還元など5選