【悲報】AIさん、数学の未解決問題 を相次ぎ解きだし人間終了へwwwwwwwwwwwwwwwwwwww

外国は石油がないからガソリン節約のため出勤停止とかそういうこともやってるし、日本みたいにガソリン税減税もなければ備蓄の放出も早くないから価格が跳ね上がった状態がずっと続く
日本は高市総理が世界で一番早くかつ過去最大の石油放出を決定したから他国のように経済に甚大な影響が出てないね

>>1

通常IEAが石油の放出を決定してから石油の国内放出をするため、ガソリンの値段が高い状態がずっと維持され経済に甚大な影響が出る
日本は高市総理が決定したガソリン税減税や世界最速、過去最大の石油の国内放出による価格の抑え込みで経済へのダメージが最小限になっている

日本政府、16日にも単独で石油備蓄放出へ−IEAの決定待たず判断　
https://news.yahoo.co.jp/articles/c744d528296fff439cda3a355c6fba226f15c009

石油備蓄の放出開始　過去最大見込み、国内備蓄の約2割
https://news.yahoo.co.jp/articles/528c0efa1464a25ba1c3ae795a6f93f82a89d760

石油の国家備蓄26日から放出へ 「経済活動への影響を最小限に抑えるべく全力で対応」高市総理 中東情勢に関する閣僚会議で表明

石油の国家備蓄26日から放出へ 「経済活動への影響を最小限に抑えるべく全力で対応」高市総理 中東情勢に関する閣僚会議で表明 | TBS CROSS DIG with Bloomberg

政府はけさ、中東情勢に関する閣僚会議を開き、高市総理はあさってから石油の国家備蓄の放出を始めると明らかにしました。高市総理「今週26日から（石油の）国家備蓄の放出を開始します。こうした措置を通じて経済…

newsdig.tbs.co.jp

補足:
1Lあたりのガソリン価格
ドイツ:396.7円
フランス:373円
イギリス:338.8円
アメリカ(世界一位の産油国):173.9円
イタリア:325円(参考でイタリアの平均給与は日本とほぼ同じ)
中国:205円(参考で中国の平均給与は日本の半分)
日本:169円

※ちなみにガソリン価格は高市政権が去年の12/31行ったガソリン税減税により
25.1円安くなっています
さらに今年の3/19に行ったガソリン補助金制度（緊急的激変緩和措置）により1リットルあたり48円安くなってます。
高市政権になって合計1リットルあたり“73円“程度ガソリン価格が安くなっています。
参考:
高市政権の対応がなかった場合のガソリンの価格1リットルあたり242円
→高市政権が対応したおかげで現在の一リットルあたりの169円(73円弱減！)

今は未解決問題解決ネタは定番化して
でも数学で未解決問題は手垢に塗れた分野だよね
って話になってるし
今のAI数学とLEAN言語/証明支援系で薔薇色の未来って話も数学あんまできない民のキャッチアップ領域の話になりつつある

人間は関係性について気づいてないだけなんじゃないか

>>203

人間が問いを発し無くても自分から仮説を作って自分で検証かよAGI超えてんな

証明全体が全く既知の数学理論から外れた謎理論を元にしてたらアレだが
それならそれで、その理論を噛み砕いて説明するよう要求する形になるんだろうな

ところで我々が使っているＡＩはよく間違うし、よく嘘もつくと感じてはいないだろうか？　そんなＡＩによる証明は信用できるのか。

　ここで登場するのが、数学の証明支援ソフト「Ｌｅａｎ（リーン）」だ。ブラジル人の科学者が作り上げ、多くの数学者も関わったというこのソフトは、ある命題（例：ＰならばＱである）に対する証明を書いて渡すと、それに誤りがないかどうかを判定してくれる。

「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…　高まる思考力、疲れ知らずの働き者。人間に残された仕事は？（47NEWS） - Yahoo!ニュース

　これで「ＡＩに相談すること」が、かなり一般に普及した。ただ、この時点ではＡＩに何か尋ねても、ＡＩは膨大に記憶しているデータの在庫から、回答として最も正解に近いものを差し出すだけ。何かを深く考えると

news.yahoo.co.jp

まだGAFAMくらいしかAIをフル活用できてない状態なのにこれ
今後は中小零細もAIを活用しはじめてPC1台組むのに200〜300万円くらいかかるようになるだろうね

計算資源の取り合いである

人間の脳の全体の演算能力も凄いが
意識的な思考はとても低速らしいし

漫画攻殻機動隊が描こうとしたのは
情報の海に生まれる、情報の生命体とはいったいどのようなものか
その情報の生命体が人間に対して結婚を申し込むとはどういうことか

それが現実化した時こそが、真のシンギュラリティーだ

ちなみにヒマだったので、弄ってこうやって、直接外部のスピーカーへ繋げたら
正直、控えめに言って、
市販品の1万クラスのBluetoothスピーカーとタメ張る音質になったわｗｗ

恐るべしｗ　ダイソーのBluetoothスピーカーの実力ｗｗ

特に役に立たないけど学問上重要で
最初に解いた人間に栄光があるような
しのぎを削ってる問題解かれたら
数学者悲しいだろうな🥺

どう思う？？

いいだろ！！

>>69

プッチ神父ってジョジョ？俺は5分の途中までしか読んでないから分からんのよ
どんな噺？

宇宙なんたらあってるのか確かめてほしい

素数の謎なんてのは、半分哲学なので
人間に任せておけばよいな🥺

単純なようで全く異なる化け物で、何億もの論理的なパターンから瞬時に認知して傾向を予測する。

例えば、1+1は”数”というモデルに抽象して1の加算として考えるのが人。AIは ”+”という記号を利用する式の傾向から2になると予測して解いてる。

モデル化し辛いパターン傾向のある問題に非常に強い。

DLとLLMのトランスフォーマーとAttentionは理解してるから
そこから理解してないことを教えてくれw

因果推論ってのは、ここが違うと論理が崩れるつうキーポイントで、対象をモデル化するから少ない情報で沢山の推論が出来る。

コレが出来ないから、強制的に考えを展開して補強してるわけやね。ようするに予測と展開でトライアンドエラーを繰り返してる。

簡単に言えば当てずっぽうなんだけど、当てずっぽうのプールが人間の認知超えまくってるから、人間以上の知識作業できるようになってしまった。
面白い。

人の思考プロセス。
Aさんは収入100万円の男性です。
↓
これは弱男だな！
↓
Aは独身かもな！

弱男とか独身の関係性を抽象モデルにしてるんだよね。

AIはそれをせずに統計的に傾向を把握してしまう。

Aさんは収入100万円の男性
↓
独身の人多かったよその属性には

これが強いのは独身とかそういうモデルが不要でいきなり解を予測できること。
根拠が弱いから検証可能な問題にしか応用できないから数学とかプログラミングに強いだけなんだけどな。

天才がガチで語ると素人には理解出来ない。がAIと人の間で起きるわけやな。
AIの中では９９みたいなもんが、人にとっては乗算として記述しないと意味が分からんみたいな感じ

たとえばChatGPTが解いて
Claudeがそれを正しいと承認するとか

しかしそうなると
「数学の証明とは何か」
という哲学的な問題に

人間が理解してないのに
それは解いたと言えるのだろうか🥺

実際、幾何学周りの受験レベルの難問を解かせようとすると見事なまでに支離滅裂な話をし始めて、
要するに類型化され解法が多数流布されている問題でないと、解き方がわからず迷走するレベルの低さに驚く結果になるね

こんなレベルの事象理系が講義したり研究者のフリをしている匿名掲示板のレベルの低さは笑える

その理由は？有象無象の統失発言の発言者を根気のなしに特定できるのは本人さんかな

その理由は？有象無象の統失発言の発言者を根拠無しに特定できるのは本人さんかな

この宇宙はチューリング完全だけど(論文と正反対の言明)、
シミュレーションならチューリング不完全な計算体系を示せる(シミュレーションをデタラメプログラミングと勘違いした素人発言)、
とかとてつもないSF妄想話をしていた
自称サイエンスコミュニケータ彩恵りり　@Science_Release ってのが居て
そこまでデタラメな人間が科学者やサイエンスコミュニケーターを名乗るなよって思った

その手の発言はSF作家なら個人フィクション創作のネタとして許されるけど
科学の名の下で振り回して良い妄想ではない

それ例の公開イベント公開写真や公開ビデオそのままの創作キャラだから、身元バレバレだよね
なんで緑服に固執するのか？自称アスペの謎矜持は惨めったらしいね