数学の翻訳家 – Details, episodes & analysis

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

〇球を分解→元と同サイズの球を2個作れてしまう「バナッハ＝タルスキーのパラドックス」、p進数の世界でも成立と発表【研究紹介】（2026年2月16日）

https://levtech.jp/media/article/column/detail_805/

〇The Banach-Tarski paradox in complete discretely valued fields（2026年2月12日）

https://arxiv.org/abs/2602.08494

〇The Banach-Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields（2024年2月22日）

https://arxiv.org/abs/2402.14772

〇バナッハ＝タルスキーのパラドックス - Wikipedia

https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9

〇新版 バナッハ－タルスキーのパラドックス／砂田利一（岩波科学ライブラリー）

https://www.iwanami.co.jp/book/b265917.html

#数学 #バナッハタルスキーのパラドックス #p進数 #無限 #選択公理 #KamilOrzechowski #幾何学 #現代数学 #科学ニュース #2026年の科学 #パラドックス #証明 #測度論 #数論 #ポーランド #球の分割 #次元 #トポロジー #抽象数学 #アルフレトタルスキ #ステファンバナッハ #距離空間 #異世界 #研究成果 #定理

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

〇Breakthrough approach enables bidirectional BCI functionality（2024年6月17日）

https://www.sciencedaily.com/releases/2024/06/240617173427.htm

〇Transcranial focused ultrasound to V5 enhances human visual motion brain-computer interface by modulating feature-based attention（2024年6月11日）

https://www.nature.com/articles/s41467-024-48576-8

〇Transcranial Focused Ultrasound Improves the Performance of a Noninvasive Brain-Computer Interface（2024年）

https://www.nccih.nih.gov/research/research-results/transcranial-focused-ultrasound-improves-the-performance-of-a-noninvasive-brain-computer-interface

〇BRAIN-funded researchers improve noninvasive brain-computer interface neurotechnology（2024年）

https://braininitiative.nih.gov/news-events/blog/brain-funded-researchers-improve-noninvasive-brain-computer-interface

〇AI Co-Pilot Boosts Noninvasive Brain-Computer Interface by Interpreting User Intent（2025年9月1日）

https://samueli.ucla.edu/ai-co-pilot-boosts-noninvasive-brain-computer-interface-by-interpreting-user-intent/

〇BCIs in 2025: Trials, Progress, and Challenges（2025年7月21日）

https://andersenlab.com/blueprint/bci-challenges-and-opportunities

#BCI #ブレインコンピュータインターフェース #超音波 #集束超音波 #脳波 #EEG #非侵襲 #数学 #機械学習 #AI #カーネギーメロン大学 #神経科学 #テクノロジー #シータ波 #信号処理 #BinHe #NatureCommunications #医療技術 #コミュニケーション #Neuralink #科学ニュース #研究成果 #イノベーション #アクセシビリティ #未来技術

宇宙人との対話に数学が使えるかを探るため、脳構造が異なるミツバチの研究が注目されています。ハチは計算やゼロの概念を理解でき、異なる種でも数学的数値を共有できる可能性を示しています。これは数学が普遍的な言語になり得ることを示唆しており、人類は既にボイジャーやアレシボ・メッセージで実践しています。数学は異なる存在同士をつなぐ翻訳技術として期待されています。

## 参考記事（フォーマット指定）

〇Bees May Tell Us if We Can Use Math to Talk to Aliens : ScienceAlert（2026-01-12）

https://www.sciencealert.com/bees-may-tell-us-if-we-can-use-math-to-talk-to-aliens

〇Can we use bees as a model of intelligent alien life to develop interstellar communication? : The Conversation（※ScienceAlert内で「原文」として案内）

https://theconversation.com/can-we-use-bees-as-a-model-of-intelligent-alien-life-to-develop-interstellar-communication-271524

〇Golden Record Cover : NASA Science（2025-04-07）

https://science.nasa.gov/mission/voyager/golden-record-cover/

〇Arecibo message : Wikipedia（更新日不定）

https://en.wikipedia.org/wiki/Arecibo_message

#宇宙 #数学 #ミツバチ #エイリアン #科学 #コミュニケーション #言語 #異文化理解 #NASA #ボイジャー #アレシボメッセージ #未来 #教育 #生物学 #脳科学 #進化 #翻訳 #ゼロの概念 #幾何学 #物理学 #知性 #哲学 #テクノロジー #自然 #宇宙語

AIが「Erdős Problems」などの高度な数学問題を解き始め、研究の進め方が変わりつつあります。テレンス・タオ氏はAIが膨大な小規模問題の解決に役立つと見ており、Lean等のツールによる「証明の形式化」と検証が重要視されています。これは単なる自動化ではなく、人間とAIの分業による数学の再設計や、専門外の人々への開放を意味する大きな変化です。

## 参考記事（フォーマット）

〇AI models are starting to crack high-level math problems | TechCrunch（2026/01/14）

https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/

〇Terence Tao: “Recently, the application of AI tools to Erdos problems passed a milestone…”（2026/01/07）

https://mathstodon.xyz/@tao/115855840223258103

〇Product of central binomial coefficients - MathOverflow（2013/07/30）

https://mathoverflow.net/questions/138209/product-of-central-binomial-coefficients

〇Mathematical exploration and discovery at scale - arXiv（2025）

https://arxiv.org/abs/2511.02864

〇About — Lean Lang（更新日不明）

https://lean-lang.org/fro/about/

#AI #数学 #人工知能 #OpenAI #未解決問題 #エルデシュ #証明 #形式化 #Lean #テレンスタオ #研究 #科学 #テクノロジー #TechCrunch #検証 #自動化 #アルゴリズム #DX #教育 #未来 #プログラミング #MicrosoftResearch #オープンソース #論文 #イノベーション

現代暗号の数学的基盤の脆弱性を克服するため、量子物理学を用いた新理論が登場した。研究者らは、従来の難問に依存しない「一方向性パズル」と「行列のパーマネント問題」を組み合わせ、量子優位性が証明されれば強固な暗号が構築可能であることを示した。これにより未解決問題が統合され、理論的基盤が強化されたが、実用化には技術の進展が必要である。

## 参考記事

〇量子科学が切り拓く、暗号理論の新しい数学（2026年1月14日）

https://wired.jp/article/the-new-math-of-quantum-cryptography/

#量子暗号 #暗号理論 #数学 #物理学 #量子コンピューター #セキュリティ #サイバーセキュリティ #テクノロジー #科学 #研究 #イリノイ大学 #ダクシタクラナ #カビールトメール #一方向性関数 #一方向性パズル #行列のパーマネント問題 #量子優位性 #ウィリアムクレッチマー #WIRED #未来技術 #暗号化 #情報セキュリティ #未解決問題 #量子力学 #計算機科学

2025年は数学界にとって歴史的な一年となりました。17歳の少女が40年来の難問を解決し、量子物理学に関連する「10マティーニ問題」の完全な証明や、亡きミルザハニの遺志を継ぐ新定理、新たな無限の種類の発見、無理数に関する進展、そして自身を通過できない新図形「ノパートヘドロン」の発見など、創造的な冒険としての数学の深淵を示す成果が相次ぎました。

## 参考記事

〇The Year in Mathematics(2025年12月18日)

https://www.quantamagazine.org/the-year-in-mathematics-20251218/

〇At 17, Hannah Cairo Solved a Major Math Mystery(2025年8月1日)

https://www.quantamagazine.org/at-17-hannah-cairo-solved-a-major-math-mystery-20250801/

〇'Ten Martini' Proof Uses Number Theory To Explain Quantum Fractals(2025年8月25日)

https://www.quantamagazine.org/ten-martini-proof-uses-number-theory-to-explain-quantum-fractals-20250825/

〇Years After the Early Death of a Math Genius, Her Ideas Gain New Life(2025年3月3日)

https://www.quantamagazine.org/years-after-the-early-death-of-a-math-genius-her-ideas-gain-new-life-20250303/

〇Is Mathematics Mostly Chaos or Mostly Order?(2025年6月20日)

https://www.quantamagazine.org/is-mathematics-mostly-chaos-or-mostly-order-20250620/

〇Rational or Not? This Basic Math Question Took Decades To Answer(2025年1月8日)

https://www.quantamagazine.org/rational-or-not-this-basic-math-question-took-decades-to-answer-20250108/

〇First Shape Found That Can't Pass Through Itself(2025年10月24日)

https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/

#2025年 #数学 #科学ニュース #QuantaMagazine #ハンナカイロ #調和解析 #天才少女 #10マティーニ問題 #量子物理学 #フラクタル #スヴェトラーナジトミルスカヤ #マリアムミルザハニ #フィールズ賞 #双曲幾何学 #無限 #集合論 #クルトゲーデル #無理数 #円周率 #凸多面体 #幾何学 #ノパートヘドロン #独学 #教育 #未解決問題

2025年10月、OpenAI幹部がGPT-5で数学の未解決「エルデシュ問題」を解いたと発表したが、既存解の検索だったため撤回された。この騒動は、AIが膨大な文献検索に優れる一方、真の創造的発見には至っていない現状を示唆する。生涯で1500本以上の論文を残した天才エルデシュが遺した美しい数学の謎をAIが解く日は来るのか、人間とAIの役割分担や可能性が問われている。

## 参考記事

〇ポール・エルデシュ - Wikipedia

https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%83%AB%E3%83%BB%E3%82%A8%E3%83%AB%E3%83%87%E3%82%B7%E3%83%A5

〇放浪の天才数学者エルデシュ | Naito Lab（2000年8月22日）

https://singularities.sfc.keio.ac.jp/wp/?p=718

〇エルデシュ数～数学者ネットワークの中心にいた天才 - note（2025年9月24日）

https://note.com/jolly_hornet911/n/nbdcae9557eae

〇GPT-5が「未解決問題解いた」 恥ずかしい勘違い、なぜ？（2025年12月29日）

https://www.technologyreview.jp/s/374598/how-social-media-encourages-the-worst-of-ai-boosterism/

〇「GPT-5が未解決の数学問題を解決した」とOpenAIの研究者が投稿も実際は既に解決済みの問題だったことが明らかに（2025年10月20日）

https://gigazine.net/news/20251020-openai-researcher-announced-gpt-5-math-breakthrough/

〇This Nomadic Eccentric Was the Most Prolific Mathematician in History - Scientific American（2024年1月24日）

https://www.scientificamerican.com/article/this-nomadic-eccentric-was-the-most-prolific-mathematician-in-history/

#ポールエルデシュ #数学 #未解決問題 #エルデシュ問題 #GPT5 #OpenAI #AI #人工知能 #誤報 #検索能力 #創造性 #デミスハサビス #科学 #テクノロジー #エルデシュ数 #論文 #天才 #放浪 #共同研究 #数論 #大規模言語モデル #LLM #ITニュース #研究 #未来

2025年10月、OpenAI幹部がGPT-5で数学の未解決問題を解いたと発表したが、実際は既存解の検索だったため撤回された。この事件はAIが「発見」より「検索」に長けている現状と、SNSでの誇大宣伝のリスクを浮き彫りにした。AIは研究支援に有用だが、真の解決には人間の創造性と科学的検証が不可欠である。

## 参考記事

〇GPT-5が「未解決問題解いた」 恥ずかしい勘違い、なぜ？（2025年12月29日）

https://www.technologyreview.jp/s/374598/how-social-media-encourages-the-worst-of-ai-boosterism/

〇「GPT-5が未解決の数学問題を解決した」とOpenAIの研究者が投稿も実際は既に解決済みの問題だったことが明らかに（2025年10月20日）

https://gigazine.net/news/20251020-openai-researcher-announced-gpt-5-math-breakthrough/

〇OpenAI幹部が「GPT-5でエルデシュ問題解決」と投稿もハザビス氏などに批判されて削除（2025年10月20日）

https://www.itmedia.co.jp/news/articles/2510/20/news048.html

〇期待先行のAIエージェント、誇大宣伝で「バブル崩壊」のリスク（2025年7月9日）

https://www.technologyreview.jp/s/364775/dont-let-hype-about-ai-agents-get-ahead-of-reality/

〇OpenAI's 'embarrassing' math - TechCrunch（2025年10月19日）

https://techcrunch.com/2025/10/19/openais-embarrassing-math/

#OpenAI #GPT5 #AI #人工知能 #数学 #エルデシュ問題 #未解決問題 #科学 #テクノロジー #誇大宣伝 #SNS #誤報 #ITニュース #大規模言語モデル #LLM #研究 #科学的検証 #DeepMind #検索能力 #創造性 #限界と可能性 #情報リテラシー #デミスハサビス #教訓 #未来

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

〇The 10 Biggest Math Breakthroughs of 2025（2025年12月19日）

https://www.scientificamerican.com/article/the-top-10-math-discoveries-of-2025/

〇First Shape Found That Can't Pass Through Itself（2025年10月24日）

https://www.quantamagazine.org/first-shape-found-that-cant-pass-through-itself-20251024/

〇Mathematicians Make Surprising Breakthrough in 3D Geometry with Noperthedron（2025年11月5日）

https://www.scientificamerican.com/article/mathematicians-make-surprising-breakthrough-in-3d-geometry-with-noperthedron/

〇Mathematicians Solve Infamous 'Moving Sofa Problem'（2025年11月19日）

https://www.scientificamerican.com/article/mathematicians-solve-infamous-moving-sofa-problem/

〇The Largest Sofa You Can Move Around a Corner（2025年2月14日）

https://www.quantamagazine.org/the-largest-sofa-you-can-move-around-a-corner-20250214/

〇Six-decade math puzzle solved by Korean mathematician（2026年1月4日）

https://www.koreaherald.com/article/10648326

〇Mathematicians Find Proof to 122-Year-Old Triangle-to-Square Puzzle（2025年）

https://www.scientificamerican.com/article/mathematicians-find-proof-to-122-year-old-triangle-to-square-puzzle/

〇Students Find Hidden Fibonacci Sequence in Classic Probability Puzzle（2025年）

https://www.scientificamerican.com/article/students-find-hidden-fibonacci-sequence-in-classic-probability-puzzle/

〇New Knot Theory Discovery Overturns Long-Held Mathematical Assumption（2025年）

https://www.scientificamerican.com/article/new-knot-theory-discovery-overturns-long-held-mathematical-assumption/

#数学 #2025年の科学 #ノパーセドロン #ムービングソファ問題 #ペクジネオン #幾何学 #結び目理論 #フィボナッチ数列 #パズル #ScientificAmerican #QuantaMagazine #未解決問題 #確率論 #トポロジー #立体図形 #数学的証明 #レオモーザー #ジョセフガーバー #デュードニー #切断パズル #組み合わせ数学 #科学ニュース #研究成果 #常識の破壊

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

## 参考記事

〇AI startup Axiom gets $64M to develop new knowledge with advanced mathematics(2025年10月2日)

https://siliconangle.com/2025/10/02/ai-startup-axiom-gets-64m-develop-new-knowledge-advanced-mathematics/

〇Breaking the equation: Female founder secures $64M to teach AI the language of mathematics(2025年10月3日)

https://techfundingnews.com/axiom-math-ai-mathematician-64m-seed/

〇Who is Carina Hong, the 24-year-old Stanford dropout drawing Big Tech talent to her AI math startup?(2025年12月24日)

https://e.vnexpress.net/news/tech/personalities/who-is-carina-hong-the-24-year-old-stanford-dropout-drawing-big-tech-talent-to-her-ai-math-startup-4996995.html

〇Toward Mathematical Superintelligence: Why We Invested in Axiom(2025年9月30日)

https://b.capital/why-we-invested/toward-mathematical-superintelligence-why-we-invested-in-axiom/

#カリーナホン #AxiomMath #数学 #AI #人工知能 #スタートアップ #資金調達 #Lean #自動証明 #ケンオノ #パトナム競技会 #スタンフォード #シリコンバレー #女性起業家 #リャプノフ関数 #科学ニュース #テクノロジー #イノベーション #Meta #GoogleBrain #推論 #アルゴリズム #金融工学 #量子コンピューティング #暗号技術