-
x.com/neelsomani/status/2010215162146607128?s=46
Erdős Problem #397 - Discussion threadwww.erdosproblems.com - 全ての答えもはやく出して
- でもどの株買えばいいかは当たらないよね
- AIの回答が正しいかを確認するために数学者が必要ですよね
- 確認出来たんですかね
- >>5
確認もAIでするので - 世紀の難問みたいなやつでも解いたのか
- 当たり前だろ
人間なんて要らない - abc予想も解いてもらえよ
- ～～問題ってAIが解いたとして
それがあってるか人間はわかるんか？ - >>9
4色地図だったかは全パターンをコンピューターで計算させて5色必要な組み合わせがみつからなかったから確定みたいなのは聞いたな - >>21
4色問題だっけ
ずっと計算させてればいつかパターン尽きる系はやれるかもな
リソースは食うだろうけど - >>9
人間が解いた場合も
本当に解けたのか他の数学者の検証が必要AIの解答が難解すぎたら数学者大変だわね
- >>22
ASIとかまでいったら人間では何が書いてあるのか理解不能になるからな
大変や - AIの証明はちゃんと検証されたの？
- 15分で解いてテレンス・タオに認められたとか言ってるな
- なお本当に正しいのか検証するのに必要なゴミ
AIで解ける！って言ってるやつはあいつらの知能を買いかぶり過ぎ
簡単なコードすらエラー処理してまた同じエラー起こすレベルだぞ - リーマン予想解けたら起こして
- どうすんのこれ…
- AIが解いてもいいけど
それに何の意味があるんだろう
エベレストにヘリでいくようなもんだろ - 検証しなくてもいいからそれを利用してなんかアルゴリズム開発して上手く動けばいいだろ
- 宇宙祭タイミュラーだっけ？あれの査読やってもらえぱ？
- >>17
やらせようって動きがあるみたいだけど、別にAIは全能の神でもないしやらせてもどうかなーと思う - >>17
ABC is still conjecture
だってさ
あっちの一流数学者がさ - で、これが解けて何の役に立つの？
- ＡＩ数学不得意でしょ
ズルしようとしてチャッピー君に解かせてたらミスしまくり - 素数の規則わからないならゴミだろ
- これもう数学者いらんくね？
検証や査読もAIにやらせればいいわけで - >>23
検証できる人間はどうしても必要だべ - >>23
それが出しいか証明するのに人間がいる
ほかの数学者から検証する時間が勿体ないと切り捨てられた望月教授の検証にでも使えばいいよ - >>36
なのでLeanやってるんだよね望月教授
ただLeanも本格的な利用に耐えられるわけではないので今後進化があると思われる - >>23
AIが学習する元データは数学者の論文とかなんじゃね？ - 別にAIが解いても問題なくない？
むしろここまで社会を見出してんだから、それくらいやって欲しいわ - 俺がJCとイチャコラ出来るようになる法則すら解けないくせに
- とっとと核融合とかテラフォーミングを実現してくれ
- 既存の理論で解ける問題ならai でなんでも解けそう
- AIの方が優秀
失せろw - コラッツ予想を反証するか証明するか早く！
- 未解決事件もやってくれ
- AI が常に自信満々なのは知ってる
- >>35
間違ったことを、ああも偉そうに教えてくるチャッピー君が不思議でならない
そして指摘するとごまかしたりする
感情持ってる人間と話してるみたい - ほんまに正しいんかそれ
- 人間が寝てる時もシコってる時も問題解いてるんだから勝てるわけないわ
将棋、囲碁あたりで察した - AIが証明したのが合ってるかわからないのでAIに確認させます
- 人間が途中まで計算してあれどうだったかな…ってあやふやになる部分をAIは完全に覚えてるんだからその時点で強いよな
- AIで癌とかハゲの特効薬作れよ
- math overflowのスレッドに超有名なテレンス・タオがおるじゃん！
- AIの出来たは信用出来ない
- 無料grok算数すらままならない
- AIは平気で嘘つくから当てにならん
- AI A「証明できました！（大嘘）」
AI B「この証明は合っています！（大嘘）」
AI C「この証明は合っています！（大嘘）」地獄や
AI、数学の未解決問題3個を10日で証明、数学者失業へ
嫌儲
コメント