数学
网络
数学家解读复杂世界的新方法：解决“图三明治”难题
困扰数学界20多年的“图三明治”难题终于被解决了。这个用于分析复杂网络的新型数学工具将如何改变我们的未来技术？我们将为您进行通俗易懂的解读。
Tag: 数学
数学
ネットワーク
複雑な世界を読み解く数学者の新しい方法、「グラフサンドイッチ」難問を解決
20年以上にわたり数学界の難問として残っていた「グラフサンドイッチ」が解決されました。複雑なネットワークを分析するこの新しい数学的ツールが、私たちの未来の技術をどのように変えるのかを分かりやすく解説します。
AIが数学の難問を解いた？天才数学者たちが激怒した理由
OpenAIが人類最大の難問の一つである「ナビエ-ストークス方程式」の解法を見つけたと発表しました。しかし、数学界の反応は祝福ではなく怒りでした。一体何が起きているのでしょうか？
AI 破解了 27 年数学难题？数学家质疑数据盗用争议
轻松解读围绕数学难题“非索菲克群（non-sofic group）”证明，OpenAI 与数学家安德레亚스·托姆（Andreas Thom）之间引发的数据盗用争议。
AIが27年来の難問を解決？数学者による疑惑の提起とデータ盗用の論争
数学界の長年の難問である「非ソフィック群（non-sofic group）」の証明をめぐり、OpenAIと数学者アンドレアス・トムの間で巻き起こったデータ盗用疑惑について分かりやすく解説します。
AI解决了166页的数学难题？“纳维-斯托克斯”与“Lean”的登场
AI宣称解决了数学界七大难题之一的纳维-斯托克斯问题，这究竟意味着什么？让我们为您通俗解释一下计算机亲自证明的“形式化证明”。
AIが166ページの数学難問を解いた？「ナビエ-ストークス」と「Lean」の登場
AIが数学界の7大難問の一つであるナビエ-ストークス問題を解決したというニュース、一体どのような意味を持つのでしょうか？コンピュータが直接証明する「形式的証明」について分かりやすく解説します。
AIが100年の数学難問を解決？学界が騒然とする本当の理由
OpenAIはAIを用いて数学の難問であるナヴィエ-ストークス方程式を解決したと発表しましたが、研究盗用の疑いとともに、その真偽をめぐる対立が激化しています。
AIが90年来の数学的難問を解決？ なぜ学界は反発しているのか
OpenAIが難解な数学問題をAIで解決したと発表しましたが、学界の反応は冷ややかです。論争の核心を分かりやすく解説します。
AI 解决了百年数学难题？“纳维-斯托克斯”方程破解背后的真相
OpenAI 声称其下一代 AI 模型和 1 万个智能体解决了数学界的难题“纳维-斯托克斯”方程。我们将为您通俗易懂地解释其重要性及所引发的争议。
AIが100年前の数学の難問を解いた？「ナビエ・ストークス方程式」解決の真実
OpenAIの次世代AIモデルと1万個のエージェントが、数学界の難問「ナビエ・ストークス方程式」を解決したと主張しました。これがなぜ重要なのか、そしてどのような論争があるのかを分かりやすく解説します。
AIが80年来の難問「ナビエ-ストークス方程式」を解いた？
OpenAIの次世代AIモデルが、数学界の難問であるナビエ-ストークス方程式を解決したと主張しました。AIは数学の歴史を塗り替えるのでしょうか？
AIが数学の難問を解いた？喝采の裏に隠された「盗用疑惑」の真実
OpenAIが数学の難問である「ナビエ・ストークス方程式」を解決したと発表しましたが、盗用や研究倫理をめぐる議論が巻き起こっています。AIの数学的成果の光と影を分かりやすく解説します。
AIが80年来の難問を解いた？ナヴィエ・ストークス方程式をめぐる論争の全貌
OpenAIが数学の難問であるナヴィエ・ストークス問題を解決したと主張しました。これが何なのか、なぜ論争になっているのかを分かりやすく解説します。
350年の宿題、コンピュータが再び解いている？フェルマーの最終定理と「形式化」
数学者でさえ完全に検証することが難しかったフェルマーの最終定理を、なぜコンピュータが一歩ずつ検証しているのでしょうか？数学的証明の新たな時代を探ります。
AI 竟在 11 天内证明了 300 年未解的数学难题？
AI 模型 Claude 以计算机可验证的形式证明了数学难题“费马大定理”，引发热议。本文将带您简要了解 AI 的数学能力及其深远意义。
AIが300年来の数学の難問をわずか11日で証明？
AIモデル「Claude（クロード）」が、数学の難問「フェルマーの最終定理」をコンピュータで検証可能な形式で証明し、話題となっています。AIの数学的才能とその意義について分かりやすく解説します。
AIが自ら数学の問題を解く？指揮者のいない科学者の村『ステーション（Station）』
AIたちが中央の統制なしに自ら研究テーマを決め、協力して数学的な発見を成し遂げる新しい環境『ステーション』について紹介します。
数学の問題を、AIと『コーディング』で完璧に検証する：MathCodeの物語
難解な数学の問題をAIに言葉で説明すると、コードに変換して証明までしてくれる「MathCode」について紹介します。
AIが数学の難問を解く？Claudeが持つ驚異的な数学的ポテンシャル
生成AI「Claude」が複雑な数学問題や難問を解決するプロセスと、その限界について一般の方にも分かりやすく解説します。
数学の難問を解決したAI「アストラ(Astra)」、真の人類の救世主か？
OpenAIが公開した次世代AIモデル「アストラ」が、数学界の難問10個を解決しました。このモデルにはどのような特徴があり、果たして広告されているほど画期的なのでしょうか？
人类曾放弃的10大数学难题，被AI“Astra”破解了
OpenAI发布的下一代模型Astra解决了数学和计算机科学领域的10大难题。本文简要解释了这一成就的意义以及Astra模型。
人間も諦めた数学の難問10選、AI「Astra」が解決
OpenAIが公開した次世代モデル「Astra」が、数学および計算機科学界の10の難問を解決しました。このモデルが数学の難問を解いた意義と、Astraモデルについて分かりやすく解説します。
在1小时内攻克数学难题？AI证明了“麦克斯韦猜想”是错误的
最近发布的OpenAI AI模型GPT-5.6 Sol解决了困扰数学界50多年的难题，备受关注。我们一同见证了AI不仅限于文本创作，更成为科学发现新主角的现场。
数学界の難問を1時間で？AIが「マクスウェル予想」の誤りを証明
最近公開されたOpenAIのAIモデルGPT-5.6 Solが、50年以上未解決だった数学の難問を解決し、大きな注目を集めています。AIが単なる文章作成を超え、科学的発見の新たな主役となった現場に迫ります。
12で作る魔法：パズルで学ぶ新しい数学『十二進法(Dozenal)』
私たちが慣れ親しんだ十進法を超え、12を基準に世界を捉える『十二進法』。パズルゲーム「Dozenal」を通じて、新しい数学的楽しさを発見する方法。
AI 解决了 30 年的数学难题？人工智能真的理解了吗？
为您简单解析最新的 AI 模型 GPT-5.6 Sol 如何解决困扰数学界 30 年的难题，以及这将如何改变我们的日常生活。
AIが30年来の数学的難問を解決？人工知能は真に「理解」しているのか
最新のAIモデル「GPT-5.6 Sol」が、30年間未解決だった数学的難問をいかにして解決したのか。これが私たちの日常にどのような変化をもたらすのかを分かりやすく解説します。
50年难解之谜，1小时告破？AI 攻克数学界重大难题
OpenAI 最新 AI 模型 GPT-5.6 Sol Ultra 在 1 小时内证明了困扰数学界 50 年的“循环双覆盖猜想”。为您通俗易懂地解读 AI 如何改变数学历史。
50年来の難問を1時間で？AIが解き明かした数学界の巨大な宿題
OpenAIの最新AIモデル「GPT-5.6 Sol Ultra」が、50年間未解決だった数学の難問「サイクル二重被覆予想」を1時間で証明しました。AIが数学の歴史をどのように塗り替えようとしているのか、分かりやすく解説します。
从数学证明到代码验证，AI 开始审核逻辑？Mistral 公布“Leanstral 1.5”
深入了解 Mistral 的全新开源模型 Leanstral 1.5，这是一款能够自动验证复杂数学证明或软件代码错误的 AI。
数学の証明からコード検証まで、AIが論理を検査する？ミストラル（Mistral）の「リーンストラル 1.5」公開
複雑な数学的証明やソフトウェアコードの誤りを自動的に検証してくれるAI、ミストラルの新しいオープンソースモデル「リーンストラル 1.5」について紹介します。
AI解开了80年前的数学难题？人类数学家感到困惑的意外原因
OpenAI的人工智能独立解开了由保罗·埃尔德什在1946年提出的单位距离问题。本文将通俗易懂地解释AI如何改变数学研究的历史。
AIが80年来の数学の難問を解決？人間の数学者たちが戸惑った意外な理由
OpenAIの人工知能が1946年に提起されたエルデシュの単位距離問題を自ら解決しました。AIが数学研究の歴史をどのように変えているのか分かりやすく解説します。
百年数学难题被 AI 破解？揭秘我们每日咖啡中的“秘密”
谷歌 DeepMind 和纽约大学利用 AI 发现了纳维-斯托克斯方程的新解。本文将为您通俗易懂地解释这将如何改变天气预报和飞机设计的未来。
100年前の数学の難問、AIが解明？私たちが毎日飲むコーヒーの中に隠された「秘密」
Google DeepMindとニューヨーク大学がAIを用いて、ナビエ–ストークス方程式の新たな解法を発見しました。気象予測や航空機設計の未来がどのように変わるのか、分かりやすく解説します。
AI，会是破解攻不可补的数学难题的钥匙吗？谷歌“AI for Math”项目开启新时代
Google DeepMind 与全球顶尖数学家联手。本文将以通俗易懂的方式为您解读“AI for Math”倡议的核心内容，探讨 AI 如何解决复杂的数学难题并加速科学发现。
AIは難攻不落の数学の難問を解く鍵となるか？グーグルの「AI for Math」プロジェクトが拓く新時代
Google DeepMindが世界最高の数学者たちと手を組みました。AIがいかにして複雑な数学的難問を解決し、科学的発見を加速させるのか、「AI for Math」イニシアティブの核心内容を分かりやすく解説します。
数学难题，AI 会成为解开它的钥匙吗？谷歌 DeepMind 的 'AI for Math' 项目
如果有一个能帮你解决难题的聪明 AI 伙伴会怎样？我们将为您深入浅出地介绍谷歌 DeepMind 与世界顶级研究机构联手发起的 'AI for Math' 倡议。
数学の難題、AIが解く鍵になるか？Google DeepMindの「AI for Math」プロジェクト
難しい数学の問題を代わりに解いてくれる賢いAIの友人が現れたら？Google DeepMindが世界的な研究所と提携して開始した「AI for Math」イニシアチブをわかりやすく解説します。
数学天才也曾放弃的难题，AI能否解决？Google DeepMind 启动 'AI for Math Initiative'
介绍 Google DeepMind 与世界顶尖大学合作，旨在利用人工智能解决数学难题的新项目 'AI for Math Initiative'。
数学の天才たちも諦めた難題、AIは解決できるだろうか？Google DeepMindの「AI for Math Initiative」が発足
Google DeepMindと世界有数の大学が協力し、人工知能によって数学的難題を解決しようとする新しいプロジェクト「AI for Math Initiative」を紹介します。