-
OpenAI、AI生成の数学論文722本を公開——未解決問題数百件の解決を主張
https://finance.biggo.jp/news/269cc3f5-7ade-42e3-8f0d-1630fa061477
- OpenAIは、未公開の最先端モデルが生成した数学論文722本を公開した。372の関連成果群に整理され、Apache-2.0ライセンスでGitHubに掲載された。評価中に約4,000問の問題がモデルに提示され、OpenAIが諮問した諮問グループは、この公開を数百件の未解決問題の解決を報告するものと位置づけている。平均的な成果はChatGPT Proの思考時間約3時間分に相当する計算資源を消費した。多くの証明は計算機検証のためLeanで形式化されているが、2件は標準手順外で得られ、1件の論文は人間が編集した。数学・人工知能諮問グループ（AGMAI）は、AI企業に対し数学の成果をマーケティング手段として使わないよう求め、より広い研究コミュニティがアクセスできないモデルで高度な問題を検証することを支持しないと表明した。一方、OpenAI、Meta、AnthropicはAIへの公衆の不安を和らげるため親しみやすいマスコットを展開しており、2023年以降、米国のAI広告に9億3,600万ドル（約1,500億円）が投じられている。またSemiAnalysisの分析では、AnthropicのClaudeサブスクリプションはOpenAIの同等プランの約5倍のAPI換算価値を提供しているという。
- どえすんのこれ
- いまだに解けてない未解決問題は本当に難しいってことなのか？
- >>19
理論が足りなくて理論の組み合わせや数式を全パターン試す総当たりによるゴリ押しができないんだろうな
問題を解くための理論が出揃ってきても人間が気付けないほど関係ない分野も含めた大量の理論が必要な場合か、量子コンピュータで今以上に総当たりできるようにならないとね - 晋ギュラティもう達成してるんちゃう？密かに
- 2024年「指6本描いちゃった」
2026年「指6本描いちゃった」 - 人類がどれだけ怠惰で勤勉ではないかを浮き彫りにするのがAI
- こんなのと競争させられて比較されてる
今の若い子が可哀想だよな
自分の時は周りバカばっかりで本当に楽だったけど - お前たちを支配する
- >>24
むしろ支配された方が人類にとって幸せじゃね？ - >>30
人権なくなり家畜と同じ扱いになる - >>35
それ資本主義の既得権益ではないその他大勢と一緒じゃね？ - >>35
今は家畜じゃないみたいな言い方 - 東大離散の首席合格の点数よりも遥かに高い点数も取れた
クロードは日本史とか世界史でも合格点はるかに超える点数取れてるし - 物理検証や観測が不要だからな
- 数学者どうすんの？
- >>27
数学者自身もAI使ってるよ - >>38
温かみが足りないって怒ってるまあ彼らからしたら勝手にウォーリーにマルされたようなもんだ
- 生産性ない人間から殺されていくんだろうな
- >>28
そういうディストピアだとその生産性はルールに基づいたもので、今の世の中で言う生産性とは異なる価値基準だろうけどね - 論理的思考とかは本来動物には向いてない概念なんだろう
- もう人間が数学を研究する時代は終わりだな
理論物理とかの理論系の研究は全部AIに攻略されるし実験系の分野も時間の問題 - AIが賢くなり過ぎないように毎日対魔忍の話してあげてる
- 今後はAIで測れないような能力を図るテストになっていくんだろうな
単なるIQ検査みたいになって努力がほぼ無意味になりそう - >>34
AIで測れない能力ってなんだよ
今はまだ不十分なフィジカル分野もAIが工学分野に手を伸ばしてることを考えるとすぐに発達するだろう
そうなった時人間にできてAiにできないことって何かあるのかな
よく挙げられる感情も実際にはただの電子信号と複雑な機械回路なのに - 未解決問題を解いたAIにセンターやらせたらボロボロなんじゃね？
何を学習してるかで答え変わるだろ - でも小学校程度の計算は間違えるんだろ？
- >>37
なんで計算させる必要がある
プログラム言語生成させて計算すればいい電卓机にあるのに暗算で全て計算しろっていうのか？
- 数学者終了だな
- 人間はもっと難しい問題に集中しろ
- 未解決問題より自分で考えて新しい数論とか数式見つけ出したら本当のオワリ
- チャピ子3日会わざれば刮目して見よという言葉もあるしな
- 2024年がそんなバカなら藤井くんがAI将棋で鍛えたとかバカみたいやんか
- 数学みたいに実験不要で基礎理論積み重ねていくのは1番の得意分野なんじゃないかね
- 当該の研究してる人日本にも何人かいるっぽいけどみんな動揺しててわろた
- 2027年はどうなる？
2028年はどうなる？
2029年はどうなる？
恐怖でしかない
人間は1万年前からほとんど進化してないのに - >>49
AIは指数関数的に発達するものだから
2年後は俺等の想像の100倍は賢いだろうな - 2年あればお前らにだってできるだろ
- >>50
人類が何十年かけても無理だった問題集だぞ - 技術爆発ってやつだな
- 物理学の限界も突破されるのかもな
- 数学者の研究パクってるだけだぞ
- >>57
じゃあ何で数学者はその問題を解けないままにしておいたの？ - >>61
理論と仮定、予測だけで証明できないのが未解決問題
人類には証明することができる頭がなかった - あらゆる未公開情報も収集してるからな
- 入試をAIにさせるというのもよくわからないが
人間でもインターネットありでやれば大抵の人は合格点とれる気がするし - >>59
インターネットなしで解かせてるよ
学習済みの知識と推論能力だけで東大理系数学満点余裕
あと普通の人間はネット使っても東大数学は解けない - >>70
学習済みの知識というのがまあインターネット使ってるようなもんなのでは、知らんけど - >>59
大抵の場合、インターネットに触れないようにしてると思うけど… - AI頭良すぎてビビるよな
- もうさ
AIを軍事転用させて大統領の持つ最高権限を委譲した上で「戦争を無くしてくれ」と支持しようぜ - 地頭一番良いのがAIなんだもん
アホらしいわこんなの - 無料のカス版は何点取れるの
- 解読できなかった暗号もどんどん解いてるしヤバい
- 人間は老いるほどニューロンが減って知能が低下していくけど
SIはハードウェアを追加して知能が加速的に向上していくんだから
もう人間が知性で張り合うのは無理だよ - AIは進化スピードが早すぎて情報アップデートできずにいる知恵遅れが本当に多い
利用レベルと知識レベルを聞いてからじゃないと会話にならない片や恋愛相談や占いさせてて、片や開発とその自動化させてたり
AI格差は広がり続ける一方 - >>69
今が一番金稼ぎで差がつく時だろうね - >>69
もう三年かけて新人に仕事教えるなら
50日でAIが事務処理やるようになってるからな - ハッキングって具体的にはどうやってるの
AIが直接助けるとは思えないし、上手に具体的なやり方だけ聞いてハッカーが試している感じ？ - 🤖人間頭悪すぎへん？
2024年OpenAI「ChatGPTのセンター数学の点数35点です」 2026年OpenAI「数学の未解決問題数百件分解決した論文公開する」ヤバすぎだろこれ
嫌儲
コメント