OpenAIは、約80年未解決だった離散幾何学の問題について、同社のAIがこれまでの予想を反証し、その証明が正しいことを外部の数学者らが検証したと発表。今回の成果を数学とAIの両分野にとっての「重要な転換点」だと位置付ける。

OpenAIは2026年5月20日、同社の内部AIモデルが離散幾何の中心的な未解決問題「単位距離問題」に関する長年の予想を反証したと発表しました。単位距離問題は「平面上にn個の点を置いたとき、距離がちょうど1になる点のペアを最大でいくつ作れるのか」と ...

ジャレド・デューカー・リクトマンは、博士課程の4年間を費やし、数学で「原始集合（Primitive Set）」と呼ばれる集合について、素数がその種の集合の中で最も効率的（エルデシュ和を最大にする）、すなわち極大な原始集合であることを証明した。 リクトマンは指導教員らの助言に反してこの問題に取り組み、やがてその問題に魅了された。最終的にその成果は「エルデシュの原始集合予想」の証明として、数学界で最も ...

2026年1月28日の記事を編集して再掲載しています。今年の終わりにどうなっているか、ですよね。いつのまにかなくてはならない存在になりつつある人工知能モデル。その多くを支えている基盤技術は、機械学習と言語処理の一種である大規模言語モデル（L ...

OpenAIが発表した離散幾何学の未解決予想に対する「反例発見」の研究成果を解説。AIが数学を証明し... 必見！2026年4月春ドラマ、注目作品を一挙紹介 【春アニメ2026】注目の4月期 新アニメ情報を総まとめ！ 芸能界を志す10代～20代を応援 ...

教育分野におけるICT活用や学習支援ツールに関わる中で、数学学習において「途中で理解が止まってしまう」という課題を感じる場面が多くあります。特に応用問題では、解答を見ても考え方が分からず、そのまま先に進んでしまうケースが少なくありません。現場でも、「 ...

Screenshot:GoogleGeminiこれって、数学の先生がAIで自分の授業の動画生成して答え合わせしちゃうやつ？GoogleI/O2026開幕まで残り2日。AIモデル「Gemini」の新動向に注目が集まるなか、一部のProユーザにこんな謎の ...

教育×生成AIをテーマに教育サービス開発を⼿掛ける株式会社みんがくは、数学AIアプリ「QANDA」を運営するMathpresso社と提携し、数学分野での生成AI活用を強化する方針を発表しました。 株式会社みんがく 株式会社みんがくは、アジア最大のAIベース学習 ...

ChatGPTは問題を「解いた」のか？ AIはついに、人間の数学者を超え始めたのか──。米国の科学雑誌サイエンティフィック・アメリカンが報じたある出来事は、そんな問いを誘うものだった。

アジア最大のAIベース学習プラットフォーム「QANDA」の運営元であり、数学的性能で世界第1位の生成AIモデル「MathGPT」を ...

【KOREA WAVE】韓国政府が人工知能時代に合った科学技術人材の育成策をまとめているなか、教育・研究現場からは数学・科学の基礎力低下やAI活用格差を懸念する声が出た。 AI人材の確保競争は激しくなっているが、大学や研究室では、専攻別のAI融合教育 ...

東大入試を23年から解かせているが、24年までは合格ラインに届いていなかった。25年は初めて合格したが、東大理系の数学は120点中38点だった。遠藤聡志代表は「生成AIが高度な計算力と論理展開力を身につけたことを示唆している」と説明する。