AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明GIGAZINE（ギガジン）

AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明

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

ざっくり言うと

この記事の見出しと要約はライブドア社が開発したAIにより自動生成されたものです。実験的な機能のため、記事本文と併せてご確認ください。
  • AIが支援したコラッツ予想の反証がLeanに受理されたと話題になった
  • 証明はLeanカーネルとNanodaの2つの不具合を利用したもので無効と判明
  • Lean 4.32.2で修正済みで、開発チームは再発防止策を進めているという
記事を読む

ランキング

  • 総合
  • 国内
  • 政治
  • 海外
  • 経済
  • IT
  • スポーツ
  • 芸能
  • 女子
  1. 1. 「売上金を金庫へ」他店舗も指示
  2. 2. 一瞬誰かと…彦摩呂30kg減の姿
  3. 3. イオン熊本 従業員3人死亡の経緯
  4. 4. 警察署に砲弾持ち込み? 北海道
  5. 5. イオン爆発「話をすり替えた」
  6. 6. 紀子さまの打診断る自治体続出か
  7. 7. 檜山沙耶が第1子妊娠 近況明かす
  8. 8. 「我が家」杉山　ギラン・バレー症候群ではなかったと報告　手足のしびれで入院・検査で正式な病名も公表
  9. 9. マックシェイクM 体に何が起きる
  10. 10. テニプリ完結 27年の歴史に幕
  1. 11. 元アイドル妻、元担任と16歳差婚
  2. 12. ゼレンスキー氏 日本外交に苦言
  3. 13. 多摩動物公園 ライオン3頭が死ぬ
  4. 14. ワークマン爆売れ 衝撃の冷感も
  5. 15. イオン爆発 2人死亡の会社が声明
  6. 16. 沖縄で続いた「妻公認の女遊び」
  7. 17. ANA、JAL 手荷物預ける時刻変更
  8. 18. 川栄李奈の胸元に…ファン騒然
  9. 19. イオン爆発「宣言者は誰なのか」
  10. 20. 69歳、50代の自分へメッセージ
  1. 1. 「売上金を金庫へ」他店舗も指示
  2. 2. イオン熊本 従業員3人死亡の経緯
  3. 3. 警察署に砲弾持ち込み? 北海道
  4. 4. イオン爆発「話をすり替えた」
  5. 5. 紀子さまの打診断る自治体続出か
  6. 6. 多摩動物公園 ライオン3頭が死ぬ
  7. 7. 沖縄で続いた「妻公認の女遊び」
  8. 8. イオン爆発 2人死亡の会社が声明
  9. 9. イオン爆発「宣言者は誰なのか」
  10. 10. すかいらーく減税へ TAKEOUT1%に
  1. 11. 崩れた天井の下敷き 男性が死亡
  2. 12. 電車内で体液かける 男を逮捕
  3. 13. 大阪駅前に謎の物体「危険」の声
  4. 14. 特急「しなの」5人が降車できず
  5. 15. 東京五輪の重量挙げ選手を逮捕
  6. 16. ジャングリア 人員を使いすぎか
  7. 17. 看護師 加害者と被害者を拘束か
  8. 18. 「この歳で彼氏が」8000万円失う
  9. 19. 高速で3台事故 レッカー隊員死亡
  10. 20. 1万4千円所持も…メロン盗み逮捕
  1. 1. 元アイドル妻、元担任と16歳差婚
  2. 2. ワークマン爆売れ 衝撃の冷感も
  3. 3. 地震で転倒か 女子高校生が死亡
  4. 4. 韓国人衝撃「日本の横文字地獄」
  5. 5. ゲリラ雷雨「自分に落ちるとは」
  6. 6. 韓国人「日本に好印象」過去最多
  7. 7. 小学館問題 調査過程で通報44件
  8. 8. 年金生活「物価高の真の影響」
  9. 9. 30代男性 初めてVIO処理した結果
  10. 10. 60代「頭重い」原因は水分不足?
  1. 11. 飲食料品の消費税1% 自民が了承
  2. 12. 「人口減少を外国人で穴埋めするな」海外時事クリエイターが語る帰化制度の闇
  3. 13. オンワード イオン熊本で1人死亡
  4. 14. 国民民主の発言に「集票目的か」
  5. 15. みい山アニメ 発表時期にも批判
  6. 16. 「解雇やむなし」驚きの勤務実態
  7. 17. まるで防水靴下 WORKMAN靴が話題
  8. 18. 高市首相の早過ぎた「熊本訪問」の背景…震災から1週間たたず“視察強行”に批判殺到の案の定
  9. 19. 首相が強める財務省への不信感
  10. 20. 公明本部で池上氏が「創価」連呼
  1. 1. ゼレンスキー氏 日本外交に苦言
  2. 2. 洪明甫氏の態度に韓の偉人怒りか
  3. 3. アリアナ・グランデが活動休止へ
  4. 4. 外国人の永住許可を厳格化へ
  5. 5. グアム ハワイの代替案になる?
  6. 6. 日本人練習生が詐欺 韓で送検
  7. 7. ロシア屈指のクマ危険地域の実態
  8. 8. 「ヒグマが私を…」露で事件発生
  9. 9. 米、名古屋領事館を 閉鎖へ動く
  10. 10. 英語が公用語 新の議会で可決
  1. 11. ウェンディ 細すぎる姿に心配か
  2. 12. サフランの値段 変わらぬ理由
  3. 13. ラブドール企業製ロボ 学校拒否
  4. 14. 1人起業家 AIで年商16億超を達成
  5. 15. 元巨人の娘 41kgなのに減量宣言
  6. 16. 韓俳優 バラエティ出演後に炎上
  7. 17. トランプ氏 円買い介入を説明
  8. 18. ロシア・モスクワのレストランで爆発　死者5人に　露軍高官が標的か…テロ事件として捜査
  9. 19. ベネズエラ地震 死者6千人超に
  10. 20. 最後のチャンスだ 米大統領圧力
  1. 1. まいばすの超高額時給 SNS上注目
  2. 2. 「ダサいおじ」が20代と出会う術
  3. 3. 首都圏中古マンション価格に異変
  4. 4. 10万でボロ家 今は家賃収入5千万
  5. 5. 「お菓子の太子堂」運営会社破産
  6. 6. 最大10億ポイント山分けの実態
  7. 7. 元手34万→2億に 銘柄選定の方法
  8. 8. AI動画で月50 稼ぎたい会社員へ
  9. 9. 「離婚して」専業主婦の妻に危機
  10. 10. メルカリ 水着の出品に注意喚起
  1. 11. エアコン15年目 買い替え検討を
  2. 12. 片山財務相 円安是正へ協調介入
  3. 13. もう行かない 初めて知った距離
  4. 14. ホンダなど自動車生産で影響続く
  5. 15. 被災地支援でビックカメラ好対応
  6. 16. 夫を突然亡くした妻 年金の現実
  7. 17. ソーセージや味噌 8月から値上げ
  8. 18. 定年退職後も愛車を手放せず、駐車場代だけで年間「24万円」。年金生活でも車を持ち続ける人はいるのでしょうか？その場合、どれくらいの収入が必要なのでしょうか？
  9. 19. 退職金とiDeCo 同時受取で節税損
  10. 20. 修繕積立金 5年後に3倍の見通し
  1. 1. エルグランド Googleナビに弱点
  2. 2. Apple方針で元社員が機密に接触
  3. 3. 楽天モバイル iPhone16を4万引き
  4. 4. 戸田覚 折りたたみ機に73点評価
  5. 5. ポケモン、マイナカードによる本人認証を開始　ポケモンカードの販売や大会で活用
  6. 6. 警鐘を鳴らす「タイパ思考」の罠
  7. 7. Prime Videoで『リーチャー 〜正義のアウトロー〜』シーズン4とスピンオフ『ニーグリー』の配信が決定
  8. 8. ドコモ・バイクシェアで障害、返却できない場合はポートに駐輪・施錠を
  9. 9. DENON「DHT-S218」が首位に　ホームシアターシステム人気ランキングTOP10　2026/8/4
  10. 10. 写植機誕生物語 〈石井茂吉と森澤信夫〉 第89回 【茂吉と信夫】新型写真植字機の構想
  1. 11. 今年も出陣！モスバーガー、“青森ねぶた祭”へ
  2. 12. コ・ヒョンジョン主演の韓国ドラマ『カマキリ』のDVDレンタルが年9月2日より開始
  3. 13. プレイステーション4、発売9か月で世界実売1000万台を達成。PS史上最速
  4. 14. [山根康宏の「言っチャイナよ」] 高性能カメラ搭載折りたたみスマホやAIエージェント内蔵モデルが登場
  5. 15. 『WEAPONS／ウェポンズ』監督の予測不能スリラー『バーバリアン』初ブルーレイ化、音声解説ほか特典収録［ホラー通信］
  6. 16. 30秒で世界一多くのタバスコを飲む男のムービー
  7. 17. 5つの解錠方法に対応！スマートキーボックス「ChatLock K10」
  8. 18. [法林岳之の「週刊モバイルCATCH UP」]「AQUOS R11」、Leica監修カメラと実用性で目指すハイエンドの新基準
  9. 19. ワールドカップの違法配信を取り締まる「オペレーション・オフサイド」は成功を収めたがドメイン押収の限界を浮き彫りにしたと映画協会が指摘
  10. 20. 見た目のインパクト絶大！　Dreame、新趣向の羽根なし扇風機「Dreame MF10」
  1. 1. 森保監督 3人の息子の職業明かす
  2. 2. 伊藤ら3投手 米スカウトが本音
  3. 3. 横川尚隆 プロデビュー戦で圧巻V
  4. 4. 塩貝健人の移籍に「暗雲」漂う
  5. 5. 澤穂希氏 日本サッカー殿堂入り
  6. 6. ヌートバー Dバックスへ電撃移籍
  7. 7. 菅野智之 なぜトレード成立せず
  8. 8. ド軍 ラッシング筋損傷でIL入り
  9. 9. エンゼルス 遂に解体へ舵を切る
  10. 10. 田村俊介 女優と密着飲みと報道
  1. 11. 完全試合中のバント 両軍が衝突
  2. 12. ブルージェイズ 主力を次々放出
  3. 13. 権藤博 球宴の「お遊び」に苦言
  4. 14. 鈴木彩艶 PSGが60億円オファー
  5. 15. 阪神の大山悠輔 離婚を発表
  6. 16. 大谷らと対戦「楽しみじゃない」
  7. 17. 身長164センチのプロ野球選手、西武・滝澤夏央の矜持 「低くてもやれるという姿を見せることが自分の使命」
  8. 18. 大山悠輔 先手で離婚公表と報道
  9. 19. 大谷 キャッチボール再開見えず
  10. 20. 安青錦3度目V 気持ちで勝る強さ
  1. 1. 一瞬誰かと…彦摩呂30kg減の姿
  2. 2. テニプリ完結 27年の歴史に幕
  3. 3. 檜山沙耶が第1子妊娠 近況明かす
  4. 4. 「我が家」杉山　ギラン・バレー症候群ではなかったと報告　手足のしびれで入院・検査で正式な病名も公表
  5. 5. 川栄李奈の胸元に…ファン騒然
  6. 6. ひよっこ再放送も…名脇役どこ?
  7. 7. 川口春奈「愛の証」隠しきれず
  8. 8. 主演中の熱愛報道で厄介な代償か
  9. 9. 嫌な予感 VIVANT公式にざわつく
  10. 10. 髪と服が同じ 川口春奈の代役か
  1. 11. 三山凌輝 演劇界の不文律破りか
  2. 12. 従業員死亡「完全に人災」と批判
  3. 13. 伏線? 冒頭に伊武雅刀が数秒登場
  4. 14. ハビタ HPからこっそり削除か
  5. 15. 田野憂 300万寄付 批判に反論
  6. 16. 謎の新アニメ事前告知 業界流行
  7. 17. フジで「あの方」がAI極秘開発か
  8. 18. ファミマで「別班饅頭」発売へ
  9. 19. King Gnuの宣伝動画に批判が殺到
  10. 20. 声優死去 代表作が交代を発表
  1. 1. セルフレジでおばさんが男性説教
  2. 2. 「優しい毒親」は毒親よりヤバい
  3. 3. 元バレー栗原恵氏の息子に衝撃話
  4. 4. 70代のGU新作「高見え」コーデ
  5. 5. 気づけば毎日食べてる！スウェーデン人漫画家がリピートし続ける日本の定番食
  6. 6. ANA「ちいかわジェット」就航へ
  7. 7. 木下優樹菜の長女に注目集まる
  8. 8. 飼い主にお手をレクチャー？そっと前足を上げる黒猫ろんがかわいい
  9. 9. 新型パジェロ 今秋世界初披露へ
  10. 10. もう行かない 初めて知った距離
  1. 11. 業務スーパー お菓子95円以下も
  2. 12. GUの「コインローファー」魅力は
  3. 13. 「渡鬼」の元子役が人生を回想
  4. 14. 離婚調停で「イケメン」妻激怒
  5. 15. 料理愛好家、過去に勘違いされた
  6. 16. ただの平行眉はちょっと古いかも！今っぽアーチ眉の作り方完全ガイド
  7. 17. 紀平梨花が都内人気スポット訪問
  8. 18. 【韓国語クイズ】「잘 어울려요（チャル オウルリョヨ）」の意味は？褒め言葉です♡
  9. 19. 義両親に違和感 嫌な予感が的中
  10. 20. 仕事に行くパパを見送ろう。登園した女の子と先生が駐車場に目を向けると？