AIが数学オリンピックの難問証明 ひらめき獲得 数学者「ついに」：朝日新聞デジタル

若き天才らが数学の力を競う国際数学オリンピックの超難問を、生成AI（人工知能）が解けるようになった。深い直感を必要とする数学の分野でもAIの発展が急激に進む。「ついにここまで来たか」と数学者も驚くほ…

[wrss]

人類としては数学オリンピックと有名な未解決問題の難易度には天と地ほどの差があるけど、将来を期待したくなるね

[otihateten3510]

ChatGPTくんは文系だからなあ、数学系はGoogle陣営が強いのか

[filinion]

AI「私はこの問題の証明を発見したが、それを記すにはストレージ容量が足りない」研究者「いや人間が読める分量に要約して」

[WhiteWillow]

有名な数学の未解決問題をAIが解く時代はすぐそこ。ただし査読ができず認められるまで時間がかかりそう。

[otchy210]

棋士が AI の棋譜をお手本に理解しようと努めるように、数学者も AI の証明を理解しようと努めるようになる日が来るだろうか？

[naggg]

"論文によると、アルファ幾何学は、論理とルールを元に答えを探索するAIを搭載する。10億個のランダムな図の特徴を調べ尽くし、数百万もの様々な定理や証明を自ら取得。これらをLLMの訓練データとして使い、自ら学習"

[kenjou]

難問であっても従来の計算の推論からたどり着けるところだったということかな。そうでないと人間も解けないしね。

[Insite]

無数のアイデアのなかからしっくりくる回答候補をピックアップするのはDLが本質的に特異とするところ。「ついに」達成したのは前後の部分？（素人感想）

[fhvbwx]

宇宙際タイヒミュラー理論あたりをAIが理解できるようになったら教えてください

[dp212]

GPT-4「アイツは勉強できるかも知れないけど会社じゃ通用しないよ」

[T-miura]

速く突き抜けた進化をして、人間を庇護するか、抹殺するかしてほしい

[kirakking]

AIが解答を探索して、定理証明器がその証明を形式的に検証して、そして人間の理解が追いつかない時代はすぐそこか。

[tockri]

数学の問題をコンピューターが力ずくで解くの、四色問題とかでもうやってるし大丈夫。（なにが）

[mohno]

「AIの名は「アルファ幾何学」」「中高生らが参加する国際数学オリンピックで出題された、2000～20年の問題を解かせたところ、30問中25問を証明」「Chat（チャット）GPT（GPT-4）は、一問も正解を導けなかった」

[adsty]

過去問題の正答率が大幅に上がり金メダルレベルになった。

[sakidatsumono]

新井紀子のインタビュー見たい

[morita_non]

数学脳(アルファ幾何学的)と文系脳(ChatGPT)みたいな。

[n_vermillion]

様々な分野の知識を統合して解くのはAIが絶対強いよなー。

[brusky]

“生成AIのChat（チャット）GPT（GPT-4）は、一問も正解を導けなかった”共通テストの数学も平均点以下だったしね

[tokuniimihanai]

幾何学は問題が図の中で完結していて有限的だからできたのかも？無限個の対象を扱う整数論や集合論は同じ手法ではできないのではと思ったけどどうなんだろう。

[kaiga3131]

すごい

[wktk_msum]

https://www.reuters.com/technology/sam-altmans-ouster-openai-was-precipitated-by-letter-board-about-ai-breakthrough-2023-11-22/ OpenAIのQ*(Q-Star)が少し前に話題なってたがあれどうなったんやろ。こっちはGoogleか／数学を解けるようになればAGIか

[niwaradi]

まあこういう情報技術の最先端進めてるのも部類としては数学オリンピックメダリストみたいな数学やアルゴリズムの天才系連中だからな。

[nreleariv]

すごいけど、代数の問題とか論理パズルとかも解けるようになるんだろうか。まあいずれ解けそうだけど。

[minamishinji]

GoogleとMicrosoftのAIは考え方が違うんだね。そしてどんなAIでも数学が不得意なわけではないんだなぁ。興味深い。

[mustelidae]

数学ってやっぱ直感ひらめきの世界だよねえ。膨大な連想ゲームをやって解いてるのだろうか。

[door-s-dev]

すげすぎる

[cvtbgspuda]

素晴らしい

[quabbin]

25問も解けるとは…

[PJ_purejam]

ついに閃きまで！

[pigorilla]

ChatGTPは誤魔化すから笑

[NOV1975]

「ひらめき獲得」が正しい評価なのか、書いている人はわからない（読んでる僕もわからない

[marshi]

そのうち証明の査読やってもらえそう

[uva]

2024年時点

[augsUK]

高校年代向けの数学オリンピックの作問と人類全ての未解決問題の隔たりよに加えて、研究でなにが良質な学習対象になるのか曖昧なところが難易度高そう。物性データなど一覧表があるところは得意なんだけど。

[spark7]

汎用では無理か。「一方、生成AIのChatGPT（GPT-4）は、一問も正解を導けなかった。」

[enderuku]

AIの方が創造性がありそうな雰囲気出てきた。お絵描きAI使ってても新しくて良さげな絵柄ぽいのに当たることあるし。

[lanlanrooooo]

42