記事へのコメント25

    • 人気コメント
    • 新着コメント
    tanakh tanakh どっちかっていうと定理の自動証明のほうに機械学習使えませんかね?(´・_・`)

    2021/12/08 リンク

    その他
    Itisango Itisango “新たな数学の定理の発見や、未証明の予想の解決にAIが役立つ─そんな研究結果を、囲碁AI「AlphaGo」などで知られる英DeepMindが発表した。順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する”

    2021/12/04 リンク

    その他
    hamamuratakuo hamamuratakuo topos → 同社は、1900年代に“インドの魔術師”の異名を取った天才数学者シュリニヴァーサ・ラマヌジャンが、しばしば彼自身の夢から複雑な定理のインスピレーションを得ていたことになぞらえてAIの役割を説明する。

    2021/12/04 リンク

    その他
    hiromi_ayase hiromi_ayase もう研究職なんていうブラックな仕事はAIにやらせましょう!!

    2021/12/04 リンク

    その他
    goodstoriez goodstoriez “ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけたという。”

    2021/12/03 リンク

    その他
    Seiji-Amasawa Seiji-Amasawa “「人間の深い直観を伴う分野で、AIが近年飛躍的な進歩を遂げ始めている」とした上で「この結果は、純粋数学の最前線でAIが役に立った最初の事例だ」と記した。”

    2021/12/03 リンク

    その他
    hatest hatest 研究の相棒(AIぼう)ってことだね

    2021/12/03 リンク

    その他
    zgmf-x20a zgmf-x20a てっきりarxivだと思ったらNatureでしたか。w

    2021/12/03 リンク

    その他
    misshiki misshiki “こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化”

    2021/12/03 リンク

    その他
    pwatermark pwatermark 数学的なものの考え方、を深層学習したってことかね 哲学的とか文学的とか、いろんなバリエーションが作れそうで興味深いね

    2021/12/03 リンク

    その他
    midnight-railgun midnight-railgun 「定理発見」というのが「新たな予想の生成」なのか、「(既存の)予想の証明」なのか、はたまた両方を同時にやってしまうということなのか

    2021/12/03 リンク

    その他
    ROYGB ROYGB 四色問題の時はコンピューターを使った力ずくの証明に批判もあったみたいだけど、活用が広がってきたということかな。

    2021/12/03 リンク

    その他
    mohno mohno 「順列に関する新しい定理を発見した他、ひもの結び目を数学的に研究する「結び目理論」についても、異なる数学の分野をつなぐ、予想していなかった関係性を見つけた」←人が理解できる簡潔な関係性ってことなのかな

    2021/12/03 リンク

    その他
    takehikom takehikom エレファントな証明も今は昔

    2021/12/03 リンク

    その他
    yoko-hirom yoko-hirom 数学研究のAIアシスト。マン-マシンハイブリッド知性体,機械と脳を融合させた知的サイボーグへ。目や手をインタフェースとして非侵襲結合した外部記憶装置書籍やノートから。

    2021/12/03 リンク

    その他
    takeishi takeishi うーん、判らん/そもそもどんな定理だったか記事にほとんど書いて無いしな

    2021/12/03 リンク

    その他
    kazu111 kazu111 人間って「文字や数式」でまとめられるデータは書物で整理できるけど、それく以外ってダメだよね。目をつぶる→「視界にあった膨大なデータ」は言語や数式で整理できず。画像音運動などの直感情報ってAIで新たなルー

    2021/12/03 リンク

    その他
    y-mat2006 y-mat2006 ペロ2が論文の共同執筆者になるようなものでしょうか?

    2021/12/03 リンク

    その他
    kkobayashi kkobayashi よく分からんがすごいな

    2021/12/03 リンク

    その他
    shunkeen shunkeen 双曲結び目の不変量?と表現論のカジュダン–ルスティック多項式?に何か関係性を見つけたの???数学の知識がないから、詳しい人の解説を読みたい

    2021/12/03 リンク

    その他
    ryouchi ryouchi 論文見てきたけど「機械学習を使用して推測を直接生成するのではなく、専門家の数学者の高度に調整された直感を導き、興味深く深い結果を生み出す手助けに焦点を当てています」って書いてあったな。いい使い方だね。

    2021/12/03 リンク

    その他
    zu2 zu2 “今回開発したアルゴリズムは、こうしたパターンを検索する他、教師あり学習を基にその意味を理解しようと試みるという。得られた結果を数学者が引き継ぎ、定理などに定式化した”

    2021/12/03 リンク

    その他
    m_yanagisawa m_yanagisawa これはすごい。しかし記事中にその定理がどんなものか書かれていないので素人の人間には容易に理解できないようなものなんだろうね。

    2021/12/03 リンク

    その他
    yarukimedesu yarukimedesu なるへそ。

    2021/12/03 リンク

    その他
    nmcli nmcli 見つけさせ方次第で色々見つかるのかぁ

    2021/12/03 リンク

    その他

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

    関連記事

    AIで数学の新たな定理発見 英DeepMindと数学者がNatureに共同論文

    新たな数学定理発見や、未証明の予想の解決AIが役立つ──そんな研究結果を、囲碁AIAlphaGo」など...

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

    • TakayukiN6272021/12/30 TakayukiN627
    • ys00002021/12/13 ys0000
    • okumuraa12021/12/12 okumuraa1
    • peachpear2021/12/10 peachpear
    • mircokkun2021/12/09 mircokkun
    • mazuizm2021/12/09 mazuizm
    • tanakh2021/12/08 tanakh
    • cockok2021/12/07 cockok
    • quwachy2021/12/07 quwachy
    • yujin_kyoto2021/12/05 yujin_kyoto
    • obsv2021/12/05 obsv
    • miwa842021/12/05 miwa84
    • sarutas2021/12/04 sarutas
    • mk162021/12/04 mk16
    • y-kamiya2021/12/04 y-kamiya
    • enemyoffreedom2021/12/04 enemyoffreedom
    • yuiseki2021/12/04 yuiseki
    • Itisango2021/12/04 Itisango
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

    ニュースで英語術 「ツバル外相 温暖化対策を訴え」 - さつま芋の勉強日記

    2 users https://satsumaim0.hatenablog.com/

    【楽天市場】ハーブガーデン ご飯茶碗 シャビーターコイズ お茶碗 飯椀 益子焼 花模様 ハーブ模様 おしゃれ かわいい ナチュラル 洋風 和食器(食洗機対応 電子レンジ使用可)ギフト プレゼント お家カフェ 父の日:益子焼 和食器通販 わかさま陶芸

    1 user https://item.rakuten.co.jp/