2026/09/07 18:26

カルテックマサトン - 研究レベルの数学に特化した初のハッカソン

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

概要：
カリフォルニア工科大学は、2026年10月30日から11月1日まで、歴史的で研究レベルの数学ハッカソンを開催します。同イベントでは、未解決とされてきた深遠な数学的推測を解明する目的で、賞品としてAI クレジットを含む総額 200 万ドル以上の賞金が提供されます。これまでに適用問題に焦点が当てられていた過去のイベントとは異なり、本取り組みはハッカソンが純粋な数学の進歩を、最先端の AI モデルを使用して exclusivamente（排他的に）行う初めての試みです。世界の 100 チームが招待され、新たな理論を構築するとともに評価フェーズでトップクラスの数学者らに対して自身の研究結果を検証する予定です。参加には理論上 40 時間のコミットメントが必要です。

このイベントは、2026 年の重要な突破口、例えばエルドスの推測の反証やソフィックでない群の構成などの進展を踏襲しています。初回の防御の後、コミュニティによる検証プロセスを経て生成された研究成果が有効化され、第 2 回賞金の授与が行われます。大規模なクラウドソーシングの取り組みと高度な AI を組み合わせることで、このハッカソンは 100 年以上も未解決だった問題の進展を加速させ、一度は人類の数学者だけでは到達不可能とされた複雑な問い（例：六球面推測など）の解決に対して新たな先例を確立します。

本文

AI と数学者の協力：未解決問題を解くハッカソンへのご招待

🚀 AI の数学領域での画期的成果

数ヶ月以内に、人工知能（AI）は純粋数学の分野において以下の未解決問題を解決しました。

2026 年 5 月 20 日
- エルデősの平面単距離予想を反証。
- （80 年にわたる未解決問題）[1]
2026 年 8 月 1 日
- 初の明示的な非ソフィック群を構成。
- （27 年にわたる未解決問題）[2]
2026 年 8 月 23 日
- 六球が複素構造を許容することを示唆（※検証は未完了）。
- （78 年にわたる未解決問題）[3]

これらの飛躍に対し、学界では以下の 2 つの問いが提起されています。

AI は「アイデア創出」から「査読済み論文刊行」までのプロセスをどの程度加速できるのか？
AI が仮説解決を迅速化する時代において、数学者の本質的な役割は何か？

🎯 イベント概要：世界トップクラスの才能を集結

これらの問いに答えるため、世界中の数学的才能が集うハッカソンを開催します。

エンパワーメント・パッケージ

計算リソース: AI クレジット200 万単位以上を提供。
作業時間: 40 時間を割り当て。
サポート: 最先端モデルを 100 チームに提供。

イベントの進行フロー

解決と構築: 参加チームが未解決問題を解くとともに、新たな数学理論を構築します。
審査: 主要な数学者による審査を行い、理解度と成果の質を評価します。
賞金授与:
- 最も有望かつ詳細に説明された成果に対して即時賞金を授与。
- 数学コミュニティによる検証が完了した後、第 2 ラウンドとして追加賞金を設けます。

🏆 特徴: 研究レベルの数学に特化した初のハッカソン。

📅 日程と会場

会場: カリフォルニア工科大学 (Caltech)
期間:
- 10 月 30 日（土）～ 11 月 1 日（火）

🔗 アクションと情報

応募はこちら
お問い合わせ

🤝 責任ある AI の利用へ

当社は、このイベントを通じた研究活動において責任ある AI の利用を徹底するコミットメントを持っています。

詳細なサポーター情報については、提供元の公式情報を参照してください。

同じ日のほかのニュース

一覧に戻る →

2026/09/08 3:52

ロサンゼルスが一つ一つのビル建設を通じて発展していく姿を見てください（1880 年～2026 年）

## Japanese Translation: 本テキストは、ロサンゼルス独自の視覚マップを説明している。既存の構造物それぞれが建設年によって配置された一つの箱として表現されており、現在も存続している建物のみが含まれ、取り壊されたものは除外されている。その結果、この可視化は都市の歴史的景観や完全なタイムラインではなく、現在の建築環境を示している。これは生存する建築への明確な年代的概要を提供する一方で、過去の構造物や将来の開発については洞察を与えず、ロサンゼルの進化を現在にのみ焦点を当てており不完全な画像として提示する。 ## Text to translate : This text describes a unique visual map of Los Angeles where each existing structure is shown as one box arranged by its construction year. Only buildings still standing today are included; those that have been demolished are excluded. As a result, the visualization shows the current built environment rather than the city's historical appearance or full timeline. While it provides a clear chronological overview of surviving architecture, it offers no insight into former structures or future developments, presenting an incomplete picture of Los Angeles's evolution by focusing solely on the present.

2026/09/05 20:25

Linux ディストリビューション全体に対する信頼を誤用した攻撃 (Trust-Trust Attack)

## Japanese Translation: Ken Thompson の「信頼の連鎖」攻撃は、以前はコンパイラレベルでの改ざんが必要とされていたものが、GNU strip 内でも実行可能であることを実証した。本研究では、GNU strip が完成済みの ELF ファイルを改変することで、ソースコードを確認せず・改変せずにも、Linux 全体のビルド環境に永続的なバックドアを埋め込むことを示している。NixOS のブートストラッププロセスにおいて、バイナリシードに含まれる GNU strip の単一のパッチ済みバージョンによってペイロードが挿入され、それが次のビルド世代へと伝播し、シードが依存関係の閉じ外に出た後の最終的な標準環境においても存続する。実際の nixpkgs リビジョンにおいて、この攻撃は障害なく完全なグラフィカルインストールメディアを構築でき、任意の悪意のある挙動を行う汚染されたバイナリを生み出した。この発見は、NixOS のような不変系ディストリビューションに依存するユーザーや組織に対し、一見安全なツールが大規模な侵害の主要なベクトルとなるリスクを提起している。この研究成果は Aman Sharma（メール：[メールを表示]）によって提出され、UTC 2026 年 7 月 27 日 12:59:15 に投稿された（バージョン 1）。

2026/09/04 1:06

WeatherNext 3

## 日本語翻訳： ## サマリー：Google は、年間毎日ごとに正確な時間ごとの予報を生成する、これまで最も高度な全球気象 AI モデル「WeatherNext 3」をローンチしました。以前のモデルとは異なり、本モデルは生きた衛星画像を直接分析することで、降雨や降雪といった急速な変化を追跡し、トレーニングが施されたことのない場所であっても精密なローカルデータを提供します。この機能は、ジャマイカでのハリケーンメリサの上陸地点を特定して予測することを支援するなど、最近のイベントにおいて極めて重要であることを実証しました。Google Search、Maps、Gemini などの日常的な消費者向け利用に加え、WeatherNext 3 は風力発電所や太陽光発電所向けの放射線量および雲量予測という重要な産業用途に最適化されています。これにより、運営者は運用コストを削減しながら再生可能エネルギー源をより効率的に管理できるようになります。また、温度などの地表変数を 5km〜10km の高精度で予測することで、インフラがより信頼性高く動作するよう確保するとともに、ユーザーには日々の意思決定を賢く行うための精密なローカルデータを提供します。