【朗報】リーマン予想、chatGPTによって証明される [862837828]
■ このスレッドは過去ログ倉庫に格納されています
正直合ってるかは知らん
いずれ未解決問題も全てチャットAIが解決してくれそうな予感はある 妖怪人間ベムが人間になりたいってたら
俺も人間になりたいっていうのがchatGPTだぞ どうせハイパボリックサイン関数なんてものはないオチダロウ? Pythonでも証明してくれたぞ
from sympy import *
s = symbols('s')
# リーマンゼータ関数の定義式
zeta = 1 + sum([1/n**s for n in range(2, 1000)])
# 式変形
expr = 2**s * pi**(s-1) * sin(pi*s/2) * gamma(1-s) * zeta.subs(s, 1-s)
# 実部が1/2の場合のΓ関数の零点を探す
for t in range(-100, 100):
s = Rational(1, 2) + I*t
if expr.subs(s, s) == 0:
if t == 0:
print("実部が1/2で Γ関数が0になることはありません。")
else:
print("ζ(s) = 0 となる s は、実部が 1/2 の複素数に限られません。")
break
else:
print("ζ(s) = 0 となる s は、実部が 1/2 の複素数に限られます。")
# 負の偶数の場合のζ関数の零点を探す
for n in range(2, 1000, 2):
if zeta.subs(s, -n) == 0:
print(f"ζ(s) = 0 となる s は、s = {-n} のときです。")
else:
print("ζ(s) = 0 となる s は、負の偶数に限られません。")
break
else:
print("ζ(s) = 0 となる s は、負の偶数に限られます。") >>8
(e^x+e^(-2))/2という式自体は高校数学で出るのだが
双曲線関数として定義されるのは大学に入ってからだ 俺は文系だから何言ってるか分からんけども
わかる奴は精査してみてくれ まじかよ
世界の数学者はこの200年近く何やってたの? 日本語で平方根は求められても間違うけれど英語でsquare root なら求められるとかある chatGPTくんは日本語で分かるなら日本語で理解して日本語で返答し、
わからんときは英語に翻訳してから回答作って日本語に再翻訳するらしい
chatGPTくんがそう言ってた 4枚目よく読めば詳しい数学の知識無くてもおかしいことがわかるよ
ζ(σ+it)=0ならば複素数σ+itのσが1/2に等しいこと(リーマン予想)を証明する中で
「ζ(1/2+it)=0と仮定します」が議論に現れること自体がおかしいから
(この「」内がが真であろうが偽であろうがσが1/2でないときどうなのかに何ら関係しないから
実際は真なんだけど) もう少し具体的に計算の誤りを言うと
最後の=0の直前の式の中には本当はζ(s)という因子がはいってないとおかしい
この因子があるから両辺は0=0になってガンマ関数がどうたらは関係ない BingAIくんはネット検索しちゃうから無理ってすぐ言いそう よくわからないけど未解決問題とかを計算機が証明できないことの証明とかないの?
それが出来たら数学者いらないじゃん万能な訳ないし >>27
謝罪して訂正出来るとか日本の政治家超えてるな >>27
ちゃんと回答するのか
しかし再回答も2枚目がめちゃくちゃだな
まず「s=1-sが零点になる」からは「s=1/2」しか出てこないし
実部が1/2以外の複素数については何も述べてない >>21
bingでも英語圏のソースで探してくれってできたわ >>31
ある程度わかってる人が質問を繰り返したら正しい回答してくれそう
ノーベル賞は君のものだ! log2(k)のあたりも意味不明だし
(高校で数学取ってればわかる程度)
どうしたらこんなはちゃめちゃな文が出てくるのかな 数式の処理はまだまだ微妙だよな
wolfram先生とのコラボが待たれる chatGPTのシステムからいってネットで書かれてるのどっかから引っ張って来ただけだろ
証明してるわけじゃない >>38
mathmaticaとかは演繹で解く
AIは帰納で解く
ごっちゃにしてはダメ
国語辞典ってあるだろ
あれってわからない単語の意味を調べるためには使えない
帰納で書かれてるからね
皆がどう理解してるのか、調べるために使うんだよ
AIもそう
何が正しいのかではなく、何が正しいとされてるのかを調べるために使う 結局循環論法的な何かだろ
機械に論理は無理なんじゃね 学者連中もわりとびびってそう
他の業界が次々と陥落してるし
それもとんでもない速度で 10年もしないうちにガチで証明してきそう
膨大な知識を揮発させず維持できてワーキングメモリに展開できるのって数学にめちゃくちゃ向いてそう 多分証明は初等的には無理
アクロバティックかまだ未発見の手法を用いる
おそらく 宇宙際タイヒミュラーを理解できるかどうか聞いてくれ
理解出来るなら分かりやすく説明してくれと 四色問題のようにエレファントな証明なら使えそうだが、リーマン予想は新たな理論を生み出さないと無理じゃねえの 全世界の監視カメラとお得意の認証機能を利用して不倫スクープとかやり始めそう >>1
もしその証明が正しければ世の中は騒然としている
しかし現実は静か
従ってその証明は誤り
Q.E.D. これ始めたけど何して楽しめばええんか分からん
友達がギター弾ける奴でコード書いてもらって演奏するみたいな洒落たことやってるけど
俺はギターなんかできないし
遊ぶにもスキルとかセンスいるとか糞だろ >>41
いや演繹部分だけmathematicaに投げるようにしてくれって意味な
論理展開部分だけなら現在の帰納でもわりと良いパフォーマンス出てるので
例えば数式を投げて微分せよと命令したらそこだけmathematicaに内部的には処理されるイメージ ゴルドバッハ予想とか名前カッコいいから覚えてるけど
面白い展開になってきたな
ABC予想もだけど人間が理解出来る形で証明されるのか
AIしか理解出来ない形で証明されるのか
仮に人間が理解出来ずAIだけが理解出来る形で証明されたら
人間はそれを証明と認めるのか
( ´・∀・`) chatGPTのやってることって、google検索に毛の生えた程度だろ
人間様の与えた情報をまとめることくらいしかできないよ リーマン予想て数学の中でも異例なレベルで有名な話題だから
世界中の数学フォーラムで「証明」とされるものが山ほど投稿されていて
AIは内容も真偽もわからずそういうのをかき集めるせいでうっかり「証明」してしまうんだろうな
もっと専門家しか知らないようなマイナーな予想なら
{○○だと予想されているが証明は未発見である」みたいに的確に回答するだろうに すごいな
この世界とはなにか?
自問自答して真実の答えにたどり着きそうやな
>>28
ノイマン型のスパコンで強引に解決させた数学の命題がある
巡回セールスマン問題みたいなのは量子コン
既存のRSAは量子コンで突破出来るけど
それに対抗した光格子暗号というのもある >>1
>>27
こいつ計算してるかのように装ってるけど
一つも計算してないからな
間違った回答も自信満々に言うし
これが間違っていると嘘を教えても、すいませんこちらが間違っていましたという場合もある >>31
まず計算してないからな
こちら側の訂正の指摘が正しいかも判別できなければ
自分の回答が正しいかも判別していない
データをマージしてそれっぽくなるように出力してるだけ
質問系AIは全然進化してない
>>50
作務衣着てる弟子「違います」 ■ このスレッドは過去ログ倉庫に格納されています