#mathematics のAIニュース
8件の記事
非公式 AI の限界を超える - Carina Hong, Axiom Math
2025 年、7 ヶ月目のスタートアップ企業「Axiom」が、難関の数学試験「プットナム試験」で全 12 問を解き、最優秀学生や既存 AI システムを上回る成績を収めた。
数学者が AI の専門職への脅威を警告、業界の侵食に懸念表明
オランダのライデン大学で開かれた会議を経て結成された研究者グループが、AI が数学研究に及ぼす課題や技術業界の影響拡大に対し、専門職としての危機感を示した声明を発表しました。
OpenAI のモデルが人類を 80 年間悩ませた数学の難問を解決
OpenAI は内部 AI モデルが、離散幾何学の有名な未解決問題であるエルデシュ単位距離予想を証明したと発表し、フィールズ賞受賞者のティム・ゴワーズ氏もこれを AI 数学における画期的な成果であると評価している。
OpenAI の数学的ブレイクスルーが AI の強みを発揮
OpenAI は、80 年間人類の数学者を悩ませてきた「単位距離予想」の反例を内部 AI モデルが発見し、フィールズ賞受賞者のティム・ゴワーズ氏もこれを AI 数学における画期的なマイルストーンと評価した。
[AINews] OpenAI の GPT-next が、80 年間の未解決問題であるエルデシュの平面単位距離問題を 1,000 ドル未満で反証
OpenAI は、推定コストが 1,000 ドル未満または実行時間が 32 時間以内の汎用大規模言語モデル（GPT-5.6 と推測）を用いて、80 年間未解決だったエルデシュの平面単位距離問題を反証する結果を発表した。
ChatGPT 5.5 Pro の最近の体験：博士レベルの研究を1時間で生成
ユーザーは ChatGPT 5.5 Pro が人間の数学的入力なしで約1時間で博士レベルの研究論文を作成できることを確認した。このモデルは、人間が見過ごした簡単な証明を含む研究課題も解決可能であることが示された。
今日は何も起こらなかった
OpenAI が汎用推論モデルを用いてエルデシュの単位距離問題に反証を示し、数学者らによって検証された。一方、Cohere はオープンソースの「Command A+」をリリースした。
ニューラル正接カーネルの数学的背景
記事は、過剰パラメータ化されたニューラルネットワークがゼロに近い学習損失でデータを適合させつつ、テストデータでも良好な汎化性能を発揮する現象を説明する。ランダム初期化から始まり、パラメータ数がデータ数を上回る場合でも最適化プロセスが一貫して良好な結果をもたらす理由について、ニューラル正接カーネル（NTK）の数学的基盤に焦点を当てて解説している。