数学

形式検証言語「Lean」を用いた研究者が、2ヒッグスダブレットモデルに関する2006年の影響力のある物理学論文に根本的な誤りがあることを発見した。バース大学のジョセフ・トゥービー＝スミス氏は、検証済み物理定理ライブラリの構築中にこの発見に至った。原著者は誤りを認め、訂正論文を発表する予定である。

2026年03月19日(木) AIによるレポート

数学者ゲルト・ファルティングスが、1983年のモルデル予想の証明により、数学界のノーベル賞とも呼ばれる2026年アベル賞を受賞した。この証明は1922年に提案され、ある方程式の解に関する60年にわたる謎を解決した。ファルティングスは1986年にも同じ業績でフィールズ・メダルを受賞している。

チェス960という駒の初期位置をランダム化する変種を物理学者が研究したところ、白と黒のプレイヤーにとってすべての配置が同等に公平ではないことが判明した。チェスソフトウェアを使って複雑さを評価することで、より良いゲームのバランスを取れる位置を研究が特定した。これは、人気のフォーマットでランダム化だけが公平性を保証するという前提に挑戦するものだ。

2025年12月29日(月) AIによるレポート

2025年、ミシガン大学のザヘル・ハニ氏率いるチームが、デビッド・ヒルベルトの長年の問題の一つを解決し、異なるスケールでの流体の数学的記述をシームレスに結びつけた。この画期的な成果は、微視的粒子挙動をシンクの水のような巨視的流れに繋げ、量子場理論の手法を活用し、大気・海洋力学への洞察を約束する。