AIが10年以上未解決の数学問題を10件解決。 タイトル: Ten advances in mathematics and theoretical computer science URL: ❓ どんな問題を解いたの？ 💡 高次元球充填・非sofic群の存在証明・Connes剛性予想の反証・量子並列反復定理・耐量子暗号への含意を持つ最近接ベクトル問題など、群論・幾何・符号理論・作用素代数・量子複雑性・格子暗号・極値組合せ論にまたがる10件です。いずれも最低10年以上メインの結果に進展がなかった未解決問題を対象としています。 ❓ どのAIが解いたの？ 💡 OpenAIの次世代未公開モデル「Astra」の内部評価版です。Astraが証明の核心を発見し、その後人間が論文整形と形式化を担当しました。計算コストはSol APIレートで約2,000ドル。「定理証明がルーティンのバッチジョブになった」という言葉が、AIと数学の関係の転換点を端的に表しています。 ❓ 本当に正しい証明なの？検証は？ 💡 すべての証明はLean 4（mathlib + Lake）で機械検証された「Lean 4証明書」付きです。GitHubでApache-2.0ライセンスとして公開されており、`lake exe cache get && lake build All` でコンパイル可能。コンパイルが通れば正しい — それだけです。数ヶ月かかる人間の査読を数分の計算に圧縮したことは、AI産数学の新しいスタンダードを確立しています。 ❓ 今後の数学研究はどうなるの？ 💡 「1分野でたまたま1件当たった」ではなく8分野で10件というスケールが本質です。制約はもはや計算コストではなく、プロンプト設計と結果の検証精度に移りつつあります。数学研究の律速段階がAIのサンプリングではなく人間の問題設定と形式化スキルになる、そんな世界が見えてきました。 #AI数学# #OpenAI#

【明日10時】 数学入門講座、明日（8日）10時開催です。 申込も174名と、土曜日にも関わらず、たくさんの方にご参加頂けそうです。 講座を通じて、AIを「使う」から「理解する」への道筋のお手伝いができれば嬉しいです。 有意義な土曜日のひとときとなるよう努めて参ります。 参加者には登録のメールアドレス宛、ご案内送付済みですので、ご確認ください。 会場参加分は満員につき締切となっておりますが、オンライン参加分は明日9時まで受け付けております。 またいつものように当日の模様は録画⇒アーカイブ配信予定でおります。 8/8(土)10-15時｜9,800円

【明日10時】 数学入門講座、明日（8日）10時開催です。 申込も174名と、土曜日にも関わらず、たくさんの方にご参加頂けそうです。 講座を通じて、AIを「使う」から「理解する」への道筋のお手伝いができれば嬉しいです。 有意義な土曜日のひとときとなるよう努めて参ります。 参加者には登録のメールアドレス宛、ご案内送付済みですので、ご確認ください。 会場参加分は満員につき締切となっておりますが、オンライン参加分は明日9時まで受け付けております。 またいつものように当日の模様は録画⇒アーカイブ配信予定でおります。 8/8(土)10-15時｜9,800円

AI生成テキストに「見えない透かし」を入れる——しかも単語は一切歪めずに。その巧妙な仕組みが公開されました。 タイトル: How Claude's text watermark works URL: ClaudeがEU AI法に対応し、将来モデルに目に見えないテキスト透かしを組み込みます。注目すべき3点を掘り下げます。 🎲 注目ポイント1: 変えるのは「単語」ではなく「ランダム性の源」 透かしというと単語を差し替える印象がありますが、この手法は違います。生成時のランダム性の源を、エンコーディングキーと直前の単語から決める方式に差し替えるだけ。モノポリーでサイコロの代わりに円周率πの桁を順に使うようなもので、出力は読者に知覚できず、後から検証だけが可能になります。採用技術はGoogle DeepMindがNatureで発表したSynthID-Textです。 ⚡ 注目ポイント2: 品質・速度・コストへの影響はほぼゼロ 社内テストとDeepMindの統制実験で、透かし有り/無しのテキストに統計的に有意な差はなし。速度への影響は無視でき、追加トークンも不要で料金も据え置き。透かしにはユーザーや組織、特定チャットに遡れる識別情報は含まれず、プライバシーも保たれます。 🔍 注目ポイント3: 万能ではない、その正直な限界 長い文章ほど検出は正確になりますが、短いサンプルは苦手。事実性が要求される箇所や、数式・機能するコードのように言い換えの余地がない出力には透かしを付けられません。軽微な編集は残っても、全面書き換えでは消えます。検出APIは近日提供予定です。 規制対応と実運用品質を両立させる、現実的な透明性の実装だと言えます。 #AI透かし# #EUAIAct#