350年的难题，计算机正在重新解答？费马大定理与“形式化”
为何数学家难以完全验证的费马大定理，现在要通过计算机逐行校验？探索数学证明的新时代。
Tag: 数学
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」を紹介します。