数学の翻訳家

フランスの研究チームは、名画の贋作を見破る新手法として「フラクタル数学」を提案しました。絵画の高解像度スキャンを3次元の凹凸マップに変換し、画家の筆の動きの複雑さを「フラクタル次元」という数値で測ります。ファン・ゴッホの真作と贋作を見分けることにも成功しました。人間の先入観にとらわれず、画家が無意識に刻んだ筆の癖を数値化するこの技術は、従来の鑑定を強力に補佐すると期待されています。 〇Fractal maths...

天才数学者テレンス・タオは、孤高の研究という数学の伝統を覆し、大規模な共同研究とAIや自動証明ツールの活用を推進しています。彼が予見した人間とコンピュータが協力して難問を解く時代は現実となり、膨大な検証を伴うプロジェクトも大成功を収めました。AIが単純作業を担い、人間が核心に挑み、ソフトウェアが証明を検証する、新しい数学の形が始まっています。 〇How Terry Tao Became an Evangelist for AI in Math（2026年...

物理学者ファインマンがレストランで解いた「いつもの料理か新しい料理か」という選択のメモが約50年ぶりに解読されました。これは「探索と活用」のジレンマと呼ばれる問題です。彼の最適解は残り回数に応じて基準を変えるものでした。さらに実験で、人間はより単純な近似ルールを使いながらも最適解の約90%の満足度を達成する「資源合理性」を持つことが判明しました。 ＜参考記事＞ 〇Resolving Feynman's restaurant proble...

画家エッシャーは数学が苦手でしたが、不可能図形や双曲幾何学を直感的に表現し多くの数学者を魅了しました。局所的には正しいが全体では矛盾する彼の作品は、数学の深淵と繋がっています。2026年には数学者らが不可能図形を分類し、新たに順序で結果が変わる非可換な図形を発見しました。論理に忠実な構造からありえない世界を生み出した彼の作品は、今も数学的探求の源泉です。 〇Escher: the paradoxical artist beloved by mat...

「偶数なら2で割る、奇数なら3倍して1を足す」を繰り返すと最終的に1に帰着するという「コラッツ予想」は、1937年の提唱から90年近く未解決の難問です。ルールは単純ですが予測不能な数の動きを見せ、多くの数学者を魅了してきました。2019年のテレンス・タオによる部分的証明や、2025年の日本人研究者による新たな証明の投稿など、現在も完全証明に向けた世界的な探求が続いています。 参考記事 〇The Maths Meme That Has Been D...

2026年6月、世界150人以上の数学者がAIの誇大宣伝への警告として「ライデン宣言」を発表しました。AI企業が数学を汎用推論の練習場として利用し、査読を経ない商業的な発表を繰り返すことを問題視しています。宣言では、信頼性の欠如や著作権問題、研究テーマの歪みなど5つの脅威を指摘。数学は深く人間的な営みであり続けなければならないと訴え、人間の探求心の価値を守る意志を示しています。 〇Mathematicians say 'don&#3...

20世紀最大の数学者アレクサンダー・グロタンディークは、対象ではなく「関係性」や「構造」に着目し、代数幾何学を根本から作り直しました。特定の数に依存しない普遍的な構造「スキーム」などの新概念を導入し、数学を解きやすくする道を整備したのです。1970年に突如引退し隠遁生活を送りましたが、彼が構築した理論や問題の捉え方は今なお現代数学の発展を支え、世界中の数学者に多大な影響を与え続けています。 参考記事 〇Ho...

数学の基礎である位相空間は代数と相性が悪いという欠点がありました。P・ショルツェとD・クラウゼンは、この問題を解決するため、離散的な点の集まりを用いる「凝縮集合」という新概念を提唱しました。これにより、形を扱うトポロジーと構造を扱う代数を同じ枠組みで議論できるようになります。新しい定理の証明よりも定義の構築を重視する彼らのアプローチは、現代数学の土台を根本から再構築する静かな革命を起こしています。 ■...

AIが人間の数学者にも未解明だった難問に対し、新しい答えを出し始めています。Googleのシステムはプログラムを進化させる手法でキャップセット問題の記録を更新しました。テレンス・タオらとの共同作業でも短期間で専門家と同等の成果を上げ、数学オリンピックでは金メダル相当の成績を収めました。AIは広大な探索作業を担い、数学研究の新たな扉を開く強力なパートナーになりつつあります。 〇The AI Revolution in Math Has Arr...

米国で科学者の不審死や失踪が相次ぎ陰謀論が囁かれていますが、統計学的には単なる偶然の集積です。統計学者デイヴィッド・ハンドは、母数が大きければ奇跡的な確率でも必ず起きる「真の大数の法則」や、関連性の定義を緩めることでパターンを作り出す「近似の法則」が働いていると指摘します。探す範囲を広げることで生じる「よそ見効果」も要因です。物語を見つけたがる人間の本能に対し、統計的視点は思考を守る武器となります...

MITの若き数学者アマンダ・バークロフは、代数的組合せ論を用いて宇宙の深層構造の解明に挑んでいる。2024年、彼女のチームは「一般化クラスター代数」の10年以上未解決だった「正値性」の予想を証明した。この純粋数学の成果は、弦理論や素粒子物理学などへの応用が期待される。純粋な好奇心から生まれる数学の問いが、宇宙の深い秩序を明らかにする可能性を示している。 #数学 #アマンダバークロフ #MIT #代数的組合せ論 #クラス...

MITの若き数学者アマンダ・バークロフは、代数的組合せ論を用いて宇宙の深層構造の解明に挑んでいる。2024年、彼女のチームは「一般化クラスター代数」の10年以上未解決だった「正値性」の予想を証明した。この純粋数学の成果は、弦理論や素粒子物理学などへの応用が期待される。純粋な好奇心から生まれる数学の問いが、宇宙の深い秩序を明らかにする可能性を示している。 #数学 #アマンダバークロフ #MIT #代数的組合せ論 #クラス...

LANAプロジェクトの次の報告は、今年の7月17日に記者会見の形式で中間報告として発表される予定です。この報告では、IUT理論の検証に関するその時点での理解の詳細が整理され公表されます。理解できた点だけでなく、未解明な論点をどのように言語化し位置づけているかについての検証結果も提示される予定です。 #ZEN大学 #ZEN数学センター #LANAプロジェクト #IUT理論 #宇宙際タイヒミュラー理論 #望月新一 #Lean #定理証明支援系...

ケンブリッジ大の研究で、ChatGPTにプラトンの幾何学問題を解かせると、試行錯誤し学習者のように振る舞うことが判明した。また、UCLAの教授はGPT-5との対話を通じ、AIの提案の多くが誤りだったにもかかわらず、40年来の未解決問題を解決する糸口を掴んだ。AIの成果には誇張も一部見られるが、専門家を補佐し数学研究を前進させる共同研究者になりつつある。 〇ChatGPT seemed to 'think on the fly' when put through an...

ファッションの「20年周期」の流行を数学的に証明した米ノースウェスタン大学の研究を紹介します。150年分・約3万7千点の女性服データを分析し、「目立ちたい」「浮きたくない」という心理の綱引きが流行の波を生むことをモデル化しました。80年代以降は多様化し単純な周期は薄れましたが、この数式は文化や技術の普及予測にも応用可能です。 参考記事〇Bell-bottoms today, miniskirts tomorrow（2026年3月17日） https://news.no...

大学院レベルの数学の定理証明をAIに解かせるテスト「FormalQualBench」が登場しました。厳密な証明言語「Lean」を用いた審査で、トップのAIは難問を23問中8問正解しました。また近年、AIは未解決のエルデシュ問題も自律的に解決しています。専門家はAIを脅威ではなく、煩雑な検証作業を担い人間の創造的活動を支援する強力なパートナーと見なしています。 〇FormalQualBench（2026年3月） https://www.math.inc/formalqualbench〇...

最も抽象的な数学とされる「圏論」が、環境問題や感染症対策、AIの安全性といった現実の課題解決に応用され始めている。物事を「関係性」で定義する圏論を用い、ジョン・ベイズらは生態系等を理解する「グリーン数学」を提唱した。疫学モデルの統合やAIの安全な学習環境構築で成果を上げており、複雑なシステムを理解する新たな共通言語として期待を集めている。 〇Can the Most Abstract Math Make the World a Better Place?（20...

1920年代にシュレーディンガーらが構築した色覚の数学モデルには、100年来の誤りがありました。2022年、ロスアラモス国立研究所のチームは、従来の幾何学が大きな色の違いを過大評価することを発見しました。さらに2025年、未定義だった灰色の中心軸を幾何学的に定義し、理論を完成させました。この成果は映像制作やデータ可視化など、正確な色再現が求められる分野への応用が期待されます。 〇The non-Riemannian nature of perce...

数学において「無限」は一つではなく、大きさの異なる無数の無限が存在する。19世紀の数学者カントールは一対一対応の概念を用い、実数の無限が自然数の無限より大きいことを対角線論法で証明した。さらに、両者の中間の無限の存在を問う「連続体仮説」は、現代数学では証明も反証もできない「決定不能」な問題であることが示された。無限からより大きな無限が際限なく生み出されるのである。 参考記事 How Can Infinity Come in M...

1694年にニュートンが提起した球の接触数を問う「接吻数問題」は、高次元になるほど困難となる難問でした。しかし北京大学などのチームが開発したAI「PackingStar」が、25〜31次元で人類の記録を更新しました。球の角度情報を扱う2つのAIが協調学習した結果です。この幾何学の成果は通信技術等にも応用可能であり、AIが数学研究のパートナーとなる未来を示しています。 参考記事 〇近代科学の父ニュートンが遺した330年来の数学の...

球を分解して再構成すると2倍になる「バナッハ＝タルスキーのパラドックス」が、距離の概念が異なる「p進数」の世界でも成立することが証明された。ポーランドの研究者Kamil Orzechowski氏が2026年2月に発表した。p進数の無限の桁を利用して次元を変換する手法を用い、1次元のp進数体でもこのパラドックスが起きることを示した。これは数学的構造の普遍性を示唆する成果である。 〇球を分解→元と同サイズの球を2個作れてしまう「バ...

カーネギーメロン大学の研究チームが、集束超音波と数学を駆使し、手術なしで脳波から文字を入力する技術を開発した。超音波で脳の視覚野を刺激して注意力を高め、機械学習で脳波パターンを解析することで精度を向上させた。Neuralinkのような埋め込み型とは異なり、安全で誰でも使えるBCIの実現に向けた重要な一歩となる。 〇Breakthrough approach enables bidirectional BCI functionality（2024年6月17日） https://www.scienc...

2025年、数学界で長年の常識や未解決問題が次々と突破された。自分自身を通り抜けられない立体「ノパーセドロン」の発見、60年越しの「ムービング・ソファ問題」の解決、正三角形を正方形にする最小分割数の証明などだ。さらに確率論でのフィボナッチ数列の出現や結び目理論の新発見など、Scientific American誌が選ぶトップ10には「常識の破壊」を象徴する成果が並んだ。 〇The 10 Biggest Math Breakthroughs of 2025（2025年12...

24歳の数学者カリーナ・ホン率いるAxiom Mathが6400万ドルを調達し、新たな数学的知識を創造・証明するAI開発に挑んでいる。MetaやGoogleのトップ人材を集結させ、言語Leanを用いて推論の正しさを保証するシステムを構築。既に難問解決や競技会で実績を上げ、金融や設計など幅広い分野への応用と信頼できるAIの実現を目指している。 ## 参考記事 〇AI startup Axiom gets $64M to develop new knowledge with advanced mathematics...

ロシアの数学者イヴァン・レミゾフ氏が、1834年から未解決だった「変数係数をもつ二階微分方程式」の解析的解法に新たなアプローチを開発した。190年間不可能とされた問題を、プロセスを細分化する手法とラプラス変換を用いて解決へ導いた。この成果は物理学や経済学など幅広い分野への応用が期待され、基礎研究の重要性と数学の可能性を示すものとして注目されている。 ## 参考記事 〇Russian scientist copes with mathematical...