Movatterモバイル変換


[0]ホーム

URL:


はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

はてなブックマーク

  • はてなブックマーク
  • テクノロジー
  • AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場:朝日新聞
  • Twitterでシェア
  • Facebookでシェア

気に入った記事をブックマーク

  • 気に入った記事を保存できます
    保存した記事の一覧は、はてなブックマークで確認・編集ができます
  • 記事を読んだ感想やメモを書き残せます
  • 非公開でブックマークすることもできます
適切な情報に変更

エントリーの編集

loading...

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。

タイトルガイドライン

このページのオーナーなので以下のアクションを実行できます

タイトル、本文などの情報を
再取得することができます
コメントを非表示にできますコメント表示の設定

ブックマークしました

ここにツイート内容が記載されますhttps://b.hatena.ne.jp/URLはspanで囲んでください

Twitterで共有

ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します

120usersがブックマークコメント16

    ガイドラインをご確認の上、良識あるコメントにご協力ください

    0/0
    入力したタグを追加

    現在プライベートモードです設定を変更する

    おすすめタグタグについて

      よく使うタグ

        AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場:朝日新聞

        120 userswww.asahi.com

        ガイドラインをご確認の上、良識あるコメントにご協力ください

        0/0
        入力したタグを追加

        現在プライベートモードです設定を変更する

        おすすめタグタグについて

          よく使うタグ

            はてなブックマーク

            はてなブックマークで
            関心をシェアしよう

            みんなの興味と感想が集まることで
            新しい発見や、深堀りがもっと楽しく

            ユーザー登録

            アカウントをお持ちの方はログインページ

            記事へのコメント16

            • 注目コメント
            • 新着コメント
            kazatsuyu
            Leanの「登場」からは10年以上経ってるし、定理証明支援の老舗のCoqなんて35年以上前からあるし、数学界でも普通に使われてきてると思うが……

              その他
              inatax
              Leanの最初のリリースは2015年らしい。AIとの直接的な関係もない。タイトル適当すぎない?

                その他
                Sampo
                コンピューターの基礎理論であるチューリングマシンが証明という作業を機械化するために考えられたものなので数学界としては順当な展開が続いてるってことなのかなと

                  その他
                  fraction
                  このAIは伝統的なやつでこの5年ほどのやつとは完全に別方向のものだよね。

                    その他
                    fujihiro0
                    IUT理論に Lean 試す話は最近でてたhttps://note.com/kojifukuoka/n/n1aac1f6958d0

                      その他
                      petite_blue
                      LLMを使って証明の形式化を自動化できれば嬉しい

                      その他
                      hhungry
                      “Lean”

                      その他
                      san57
                      望月さんがIUTの証明にリーン使うみたいな記事書いた人の記事か

                        その他
                        fujihiro0
                        fujihiro0IUT理論に Lean 試す話は最近でてたhttps://note.com/kojifukuoka/n/n1aac1f6958d0

                          2025/12/15リンク

                          その他
                          aox
                          角界の反応を聞きたいですね

                            その他
                            ryouchi
                            手始めに「宇宙際タイヒミュラー理論」で試してほしいわ

                              その他
                              hasiduki
                              LeanツールをLLMに繋いで証明検証エージェント!!!!!!!!

                                その他
                                inatax
                                inataxLeanの最初のリリースは2015年らしい。AIとの直接的な関係もない。タイトル適当すぎない?

                                  2025/12/14リンク

                                  その他
                                  kazatsuyu
                                  kazatsuyuLeanの「登場」からは10年以上経ってるし、定理証明支援の老舗のCoqなんて35年以上前からあるし、数学界でも普通に使われてきてると思うが……

                                    2025/12/14リンク

                                    その他
                                    fraction
                                    fractionこのAIは伝統的なやつでこの5年ほどのやつとは完全に別方向のものだよね。

                                      2025/12/14リンク

                                      その他
                                      fuji_haruka
                                      Leanが有名になって嬉しい

                                        その他
                                        Sampo
                                        Sampoコンピューターの基礎理論であるチューリングマシンが証明という作業を機械化するために考えられたものなので数学界としては順当な展開が続いてるってことなのかなと

                                          2025/12/14リンク

                                          その他
                                          minamihiroharu
                                          四色問題の証明に電子計算機を使った時代も今は昔か。

                                            その他
                                            sgo2
                                            多分https://forest.watch.impress.co.jp/docs/serial/yajiuma/2069573.html よりは数式の方がAI向きな気が

                                              その他
                                              nakex1
                                              AIが無謬とは限らないので,1つにチェックさせるだけではなく,独立して開発された複数のシステムが必要だろう。

                                              その他
                                              vox_populi
                                              「AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている」とあるが、ショルツとかいうオタクが既に驚くほどのレベルなのだから、正しさチェックは既に現実なのだろう?

                                              その他

                                              注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

                                              リンクを埋め込む

                                              以下のコードをコピーしてサイトに埋め込むことができます

                                              プレビュー
                                              アプリのスクリーンショット
                                              いまの話題をアプリでチェック!
                                              • バナー広告なし
                                              • ミュート機能あり
                                              • ダークモード搭載
                                              アプリをダウンロード

                                              関連記事

                                                usersに達しました!

                                                さんが1番目にブックマークした記事「AIは数学者になれ...」が注目されています。

                                                気持ちをシェアしよう

                                                ツイートする

                                                AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場:朝日新聞

                                                ■《前編》AI数学者になれるか AI数学の定理を理解し、証明し、自分で正しさをチェックする――。そん...■《前編》AI数学者になれるか AI数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューターが挑…

                                                ブックマークしたユーザー

                                                • adsty2025/12/15adsty
                                                • funaki_naoto2025/12/15funaki_naoto
                                                • dhrname2025/12/15dhrname
                                                • tobetchi2025/12/15tobetchi
                                                • ayaniimi2132025/12/15ayaniimi213
                                                • petite_blue2025/12/15petite_blue
                                                • mayu_01212025/12/15mayu_0121
                                                • advblog2025/12/15advblog
                                                • hourousuteneko2025/12/15hourousuteneko
                                                • yukatti2025/12/15yukatti
                                                • repunit2025/12/15repunit
                                                • peketamin2025/12/15peketamin
                                                • banzaic2025/12/15banzaic
                                                • masato7222025/12/15masato722
                                                • agrisearch2025/12/15agrisearch
                                                • test03202025/12/15test0320
                                                • shoutinginabucket2025/12/15shoutinginabucket
                                                • shinpinaucgo2025/12/15shinpinaucgo
                                                すべてのユーザーの
                                                詳細を表示します

                                                ブックマークしたすべてのユーザー

                                                同じサイトの新着

                                                同じサイトの新着をもっと読む

                                                いま人気の記事

                                                いま人気の記事をもっと読む

                                                いま人気の記事 - テクノロジー

                                                いま人気の記事 - テクノロジーをもっと読む

                                                新着記事 - テクノロジー

                                                新着記事 - テクノロジーをもっと読む

                                                同時期にブックマークされた記事

                                                いま人気の記事 - 企業メディア

                                                企業メディアをもっと読む

                                                はてなブックマーク

                                                公式Twitter

                                                はてなのサービス

                                                • App Storeからダウンロード
                                                • Google Playで手に入れよう
                                                Copyright © 2005-2025Hatena. All Rights Reserved.
                                                設定を変更しましたx

                                                [8]ページ先頭

                                                ©2009-2025 Movatter.jp