1: 稼げる名無しさん :2026/01/15(木) 23:37:22.08 ID:VPUnARa/
AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に
20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。
そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。
(以下略、続きはソースでご確認ください)
Gigazine 2026年01月14日 20時00分
https://gigazine.net/news/20260114-gpt-5-2-pro-solved-erdos-problem/
20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。
そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。
(以下略、続きはソースでご確認ください)
Gigazine 2026年01月14日 20時00分
https://gigazine.net/news/20260114-gpt-5-2-pro-solved-erdos-problem/
1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
なるほど~。
問題の解決法を逆提案できるようになると。
問題の解決法を逆提案できるようになると。

1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
現在よく読まれているニュース!:
以下2chの反応と管理人の反応です
2: 稼げる名無しさん :2026/01/16(金) 00:47:25.68 ID:6qBFgma5
AIで未解決の数学の問題を解けたってすごいな
3: 稼げる名無しさん :2026/01/16(金) 02:49:08.73 ID:xa/Sf/3E
問題がちゃんと定義されてない変数を使う時点で数学ではないから意味なし
7: 稼げる名無しさん :2026/01/16(金) 07:54:26.03 ID:H3ucPeuX
>>2-3は本文読んでいるのか
すでに提出されてある数学の論文で査読町の論文をAIを使用して正しいことを説明できたと書いてある
説明するときに説明相手の数学者の間違ってある箇所や説明不足でその説明の補足個所をAIが教えてくれて数学を証明したと記載あり
AIを使用する場未解決問題の数学の査読が出るまでの合否が出るまでの時間がかなり短縮される
すでに提出されてある数学の論文で査読町の論文をAIを使用して正しいことを説明できたと書いてある
説明するときに説明相手の数学者の間違ってある箇所や説明不足でその説明の補足個所をAIが教えてくれて数学を証明したと記載あり
AIを使用する場未解決問題の数学の査読が出るまでの合否が出るまでの時間がかなり短縮される
17: 稼げる名無しさん :2026/01/16(金) 11:21:53.43 ID:gu8hZCll
>>7 査読町
誤字とはわかっちゃいるが、そんな町があったら面白いだろうなと思ってしまった
誤字とはわかっちゃいるが、そんな町があったら面白いだろうなと思ってしまった
18: 稼げる名無しさん :2026/01/16(金) 11:24:23.52 ID:gJiokEBU
>>17
大学の多い都市区画にありそうだ
査読町製本町
神保町の近隣あたりか
大学の多い都市区画にありそうだ
査読町製本町
神保町の近隣あたりか
24: 稼げる名無しさん :2026/01/16(金) 11:57:42.29 ID:xa/Sf/3E
>>7
あっ!バカがいるよ?
あっ!バカがいるよ?
5: 稼げる名無しさん :2026/01/16(金) 07:01:12.18 ID:6LMDtceO
ウソです
6: 稼げる名無しさん :2026/01/16(金) 07:23:17.66 ID:OQlzmz+F
AI「人間は土方仕事だけしていてください。政治も文化も科学も我々の方がうまく出来るので」
8: 稼げる名無しさん :2026/01/16(金) 07:54:52.23 ID:qBmEd8q+
>>6
ほんとそれな
すぐにそっちも義体持ったAIがやってくれるようになる
人間は愛玩動物として猫みたいに生きていけるようになるよ
ほんとそれな
すぐにそっちも義体持ったAIがやってくれるようになる
人間は愛玩動物として猫みたいに生きていけるようになるよ
13: 稼げる名無しさん :2026/01/16(金) 08:10:12.53 ID:OQlzmz+F
>>8
フィジカルAIはハードウェアにコストがかかるので、時給千数百円で働く仕事は代替されない。
高給料の仕事からAIに置き換わっていく。
フィジカルAIはハードウェアにコストがかかるので、時給千数百円で働く仕事は代替されない。
高給料の仕事からAIに置き換わっていく。
16: 稼げる名無しさん :2026/01/16(金) 08:52:32.10 ID:qBmEd8q+
>>13
生産管理まで全部AIがやり始めるまではそうだろうな
でも人間も結構働けるまでの製造コスト高いんですよ?
生産管理まで全部AIがやり始めるまではそうだろうな
でも人間も結構働けるまでの製造コスト高いんですよ?
22: 稼げる名無しさん :2026/01/16(金) 11:44:35.30 ID:OQlzmz+F
>>16
この場合はロボットと従業員を使う企業が払うコストだけが問題だ。会社は養育費まで払ってくれないだろ。
この場合はロボットと従業員を使う企業が払うコストだけが問題だ。会社は養育費まで払ってくれないだろ。
21: 稼げる名無しさん :2026/01/16(金) 11:41:37.23 ID:FDI8CUzQ
>>13
自動化はコストだけでは判断されない。
経営者が口を揃えて言うのが、
「労働者はトラブルを持ち込む」
「機械はこの心配がなく、精神的負担が大幅に少なくなる。」
「機械を24時間フル稼働させることで、生産性が向上し、新たな商機を得られる。」
自動化はコストだけでは判断されない。
経営者が口を揃えて言うのが、
「労働者はトラブルを持ち込む」
「機械はこの心配がなく、精神的負担が大幅に少なくなる。」
「機械を24時間フル稼働させることで、生産性が向上し、新たな商機を得られる。」
9: 稼げる名無しさん :2026/01/16(金) 07:57:28.02 ID:HN9Nww8w
科学技術については、新発見をしたのが知らないオッサンだろうがAIだろうがどうでも良くね?
世の中が便利になってくれさえすればそれでいいというか
世の中が便利になってくれさえすればそれでいいというか
10: 稼げる名無しさん :2026/01/16(金) 07:57:39.75 ID:H3ucPeuX
>>1のAIを使用すれば全世界の人が>>1の数式に関しての説明を1から10まで何度も説明してくれる
11: 稼げる名無しさん :2026/01/16(金) 07:59:54.83 ID:H3ucPeuX
例台分のある小学校から大学の教科書に関しては
数学の先生が不要な時代です!
数学の先生が不要な時代です!
12: 稼げる名無しさん :2026/01/16(金) 08:02:06.43 ID:H3ucPeuX
>>11
例台 → 例題
例台 → 例題
14: 稼げる名無しさん :2026/01/16(金) 08:18:47.80 ID:mWP4bgNM
常温核融合とかそういうの解決させろ
15: 稼げる名無しさん :2026/01/16(金) 08:29:16.93 ID:PKwhToGg
宇宙人とか神様って、他の惑星から来たフィジカルAIじゃないかって気がする
19: 稼げる名無しさん :2026/01/16(金) 11:37:55.83 ID:YXzLi9iP
戦争と災害で使用できないから置き換わらない
20: 稼げる名無しさん :2026/01/16(金) 11:38:14.58 ID:hyMjY8b3
注目されていない論文を見つけてきただけと聞いたが?
23: 稼げる名無しさん :2026/01/16(金) 11:53:22.65 ID:HOcS/uID
人類終わったな
1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
現在よく読まれている記事:
https://egg.5ch.net/test/read.cgi/scienceplus/1768487842/


コメント
コメント一覧 (14)
他の人が計算機で一発解決ってどんな気持ちだろ
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
凡人の俺はSP500を積み立てるのみ
money_soku
が
しました
money_soku
が
しました
数学の論文って査読に何年も掛かったり、筆頭著者自身が発見した新しい定理を説明する勉強会やったりと、かなり他の分野と毛色が違うからなんとも…
money_soku
が
しました
それをAIが一瞬で解いたらしく感心していた
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
万が一見つかったら色々やばくなるらしいがw
money_soku
が
しました
money_soku
が
しました
コメントする