2a1e42ed

1: それでも動く名無し 2026/05/31(日) 10:48:00.62 ID:PSsXu4F+0
【さすがのグーグル】GoogleDeepMindの数学AI、50年来の未解決難問を一気に9件証明

数学証明AI「AlphaProof Nexus」が、エルデシュ問題9件を証明

https://www.sbbit.jp/article/cont1/185575

2: それでも動く名無し 2026/05/31(日) 10:48:11.67 ID:CZ1engfe0
長くて読めない


3: それでも動く名無し 2026/05/31(日) 10:50:12.47 ID:BB1tuKsSd
人はもう終わりということ

4: それでも動く名無し 2026/05/31(日) 10:50:19.31 ID:JadHXT5D0
数学者とかAIに絶対勝てないやろうしな

6: それでも動く名無し 2026/05/31(日) 10:50:55.26 ID:L68TtMPod
哲学の難題もAIによって解かれる日は来るのか？

21: それでも動く名無し 2026/05/31(日) 11:26:36.13 ID:OslAIfiI0
>>6
哲学は問題を解くことが目的ではなくて潜んでいる問題を定式化することが目的やな

7: それでも動く名無し 2026/05/31(日) 10:51:51.46 ID:r5VqHpyPH
しかもまだAIなんてやっと立ち上がった段階やんな
今は世界中の人が幼児段階のAIを育ててて、更なる成長確実で

9: それでも動く名無し 2026/05/31(日) 11:01:37.90 ID:PUsD8o9c0
>一方で、AIによる証明の量産は既存の査読システムを機能不全に陥らせ
これよな
証明したというのは自由だがその検証に膨大な時間かかる

10: それでも動く名無し 2026/05/31(日) 11:04:51.19 ID:Nm/BdVKI0
>>9
ワイの会社みたいで草
ア〇社員がAIで提案やら改善やらプログラム大量に作ってきて
それを検証証明できる一部の有能社員が擦り切れはじめておるわ
どう考えても有能社員が提案改善したほうが効率ええのに

11: それでも動く名無し 2026/05/31(日) 11:10:53.25 ID:2PSRZeVJ0
>>10
アメリカだと既にAIの方が高く付くから人を雇う方に回帰しだしてるのに日本は何周遅れだって話よな
なんG民ですら未だにAIで仕事が無くなるとか喚いてる

13: それでも動く名無し 2026/05/31(日) 11:17:51.05 ID:r5VqHpyPH
>>11
んなわけないだろw
アメリカの大手企業のAIリストラの記事が連発してるやん

14: それでも動く名無し 2026/05/31(日) 11:20:21.71 ID:J8QCdmKg0
>>13
ちょっと前やな
今は社員がAIクーポンで数千万円使いやがった
という記事がで始めてる

12: それでも動く名無し 2026/05/31(日) 11:15:43.56 ID:nxXYOfLb0
プログラムの現場だとAIで作る速度は上がるけど使う側の経験値がないとゴミができるだけだな今はまだなのか5年したら変わるか知らんけど

15: それでも動く名無し 2026/05/31(日) 11:20:33.98 ID:Q8AzeibO0
ほったらかしだった証明問題でしかないのでは
やろうと思えば証明できるような問題だったのでは？

17: それでも動く名無し 2026/05/31(日) 11:22:37.97 ID:2N/LSn190
証明を検証してるエンジンはLeanてやつなんやな
どれくらい汎用性あるんやろね

20: それでも動く名無し 2026/05/31(日) 11:26:24.82 ID:CK3HcyC20
事務作業系は負担が減ってアメリカはレイオフ始まってる

23: それでも動く名無し 2026/05/31(日) 11:31:33.82 ID:J8QCdmKg0
スターバックスの在庫AIシステムが
適当にやり始めたので
AIの方をリストラしたの好き

割と適当に答えるよなあいつら

28: それでも動く名無し 2026/05/31(日) 11:42:18.93 ID:C+pF3gve0
>>23
草
人間味あってええやん

29: それでも動く名無し 2026/05/31(日) 11:43:03.44 ID:mUbcA5T40
>>23
わかりません
がいえないからなAIは

30: それでも動く名無し 2026/05/31(日) 11:44:10.31 ID:yBtfYI1e0
>>29
プロンプトちゃんと組んだら言えるぞ

25: それでも動く名無し 2026/05/31(日) 11:35:48.51 ID:OslAIfiI0
LLMの吐き出す非論理な提案→Leanを用いた論理的に検証→以下ループ

てやり方なんやなこれ
LLMは霊感を得た詩人みたいな役割か

31: それでも動く名無し 2026/05/31(日) 11:44:33.77 ID:UDUTYZSr0
AIが出た時に「これはなくならんやろ」て言われた仕事から価値がなくなっていきそう

32: それでも動く名無し 2026/05/31(日) 11:45:49.26 ID:EFUl1PeI0
数学・物理学こそAIが強い分野やしな
これから人間が理解できないけど技術的に色々できるようになったというフェーズに入ってくるんやろな
すでにそうなってるけど

34: それでも動く名無し 2026/05/31(日) 11:48:32.43 ID:VnUbvLPT0
査読入ってないから検証段階じゃないの
AI君間違ってても合ってるって言い張るから逆に量産されてノイズでなしになりそう

37: それでも動く名無し 2026/05/31(日) 12:00:16.80 ID:PQf2KaPgH
しょせんAIも人間の限界を超えられないからね

36: それでも動く名無し 2026/05/31(日) 11:58:30.32 ID:PRprnRqU0
なんG民特有の理系信仰ってあるよな

35: それでも動く名無し 2026/05/31(日) 11:53:07.44 ID:/O+9cWjK0
この数年で急激に跳ねたんやろ
少し前まで難関大の問題すらろくに解けなったのが数学五輪の問題も東大数学もサクサク解くようになって今は未解決問題を解いてる

38: それでも動く名無し 2026/05/31(日) 12:02:56.70 ID:K2Az+s9l0
新薬の開発とか爆発的に進むんやろな

引用元: https://nova.5ch.io/test/read.cgi/livegalileo/1780192080/

最短コースでわかる ディープラーニングの数学
赤石 雅典 (著)

応援登録のご協力のお願い


Google検索に汎用型自作PCまとめをお気に入り情報源として追加いただけますと嬉しいです！
タグ ：
#AI
#Google
#数学