STOC 2027、生成AIの影響に対処するための新たな投稿ポリシーを導入
第59回ACM理論計算機科学シンポジウム（STOC 2027）は、投稿プロセスにおける重要な変更を発表しました。これには、プレプリントの公開義務化、ビデオプレゼンテーションの提出、および生成AIツール利用に関する新たな開示要件が含まれます。
記事全文を読む →最新の解説
Open Observatory of Network Interference（OONI）の概要とインターネット検閲測定へのアプローチ
Open Observatory of Network Interference（OONI）は、インターネット検閲を検出し記録するための無料ソフトウェアツールを開発し、世界中のネットワーク干渉に関するオープンなデータセットを維持するグローバルプロジェクトです。
記事全文を読む →
ボリビアのアンデス山脈で小型野生ネコ科の新種が発見される
研究者らは、ボリビアのユンガス森林に生息する小型の斑点模様を持つ野生ネコ科動物「Leopardus tilcayo」を正式に特定しました。これは1世紀以上ぶりとなるネコ科の新種発見です。
記事全文を読む →
StarCraft: Brood Warにおける現代AIエージェントの性能評価
新しいベンチマーク「Brood War Bench」は、古典的なリアルタイム戦略ゲーム『StarCraft: Brood War』において、現在の大規模言語モデルが自律エージェントとしてどの程度機能するかをテストし、長期的な計画立案と実行能力における重大な限界を明らかにしました。
記事全文を読む →
スタンフォード大学の研究チームが脳の各領域における異なる発生起源を特定
Nature Neuroscience誌に掲載された新たな研究により、胎児の発生過程において前脳と後脳がそれぞれ独立した並行する前駆細胞集団から生じることが明らかになりました。これは神経疾患を研究するための新たな実験モデルの構築を可能にする可能性があります。
記事全文を読む →
自身の文体を失わずに大規模言語モデルを活用して文章を改善する戦略
大規模言語モデル（LLM）を効果的な執筆アシスタントとして活用しつつ個人の文体を維持するためには、モデルをゴーストライターではなく校正者として扱うべきである。モデルが提案する言い回しを厳格に避け、AIによる称賛を無効にすることで、執筆者は機械的な生成物に陥ることなく、構造上の欠陥や文体の不整合を特定するためにLLMを利用できる。
記事全文を読む →
証明の先へ：数学における「動機付けられた説明」を評価するための提案
数学者のテレンス・タオとゲスト寄稿者のグラント・サンダーソンは、数学界が伝統的な証明生成型の研究だけでなく、数学的発見の「なぜ」と「どのように」を明らかにする「動機付けられた説明」を正式に評価し、報いるべきだと主張している。
記事全文を読む →
terrytao.wordpress.com
Laya：AIワークフロー向けオープンソース非自己回帰型意思決定エンジン
Layaは、ルーティング、トリアージ、分類といった構造化タスクにおいて、生成AIモデルに代わるものとして設計された新しいオープンソースの非自己回帰型意思決定エンジンです。強化学習と双方向エンコーダーを活用することで、35ミリ秒未満でキャリブレーションされた確率出力を提供し、ブラックボックス化された独自モデルに代わる透明性の高い高速な選択肢を実現します。
記事全文を読む →
AI生成イベントポスターの画一的な美学を超えて
AIが生成するイベントポスターは、その反復的で「スロップ（粗悪な）」な美学で頻繁に批判されていますが、デフォルトのプロンプトから脱却し、確立されたデザイン運動を指定することで、より個性的な結果を得ることが可能です。
記事全文を読む →
2025年におけるソフトウェアサンドボックスの基礎を理解する
ソフトウェアサンドボックス、すなわち裁量的な権限剥奪は、プロセスの機能を制限するための重要なセキュリティプラクティスです。現代のアプローチでは、レガシーなカーネルレベルのハックよりも、プロセスレベルの分離と能力ベースの通信が重視されています。
記事全文を読む →
UTF-8000：無制限のUTF-8文字エンコーディングに向けた実験的拡張
UTF-8000は、標準的なUTF-8文字エンコーディングに対する提案された拡張であり、開始ビットを複数のバイトに分散させるメカニズムを導入することで、理論上無制限の範囲のコードポイントを表現可能にする、任意の長さのコードユニットを許容するものです。
記事全文を読む →
貨幣および銀行システムの階層的性質を理解する
貨幣、負債、銀行システムが単純な物々交換から複雑な金融階層へとどのように進化するかを概念的に探求し、現代の経済安定における信頼とバランスシートの役割を強調する。
記事全文を読む →
TinyBrains：戦略ゲームにおける小型ニューラルネットワークのための競技プラットフォーム
TinyBrainsは、戦略ゲームをプレイ可能な小型で効率的なニューラルネットワークの開発を競う新しいプラットフォームです。エントリーはファイルサイズに基づいた階級に分類され、直接対決によってパフォーマンスが評価されます。
記事全文を読む →
研究者がGPU加速版CADO-NFSを用いてRSA-896の素因数分解に成功
スティーブン・ワイス氏は、Claudeを活用してCADO-NFSアルゴリズムをGPUに移植し、2048基のGPU群のアイドルリソースを10日間利用することで、RSA-896チャレンジの素因数分解を達成しました。
記事全文を読む →
ジョージ・ポーヤによる体系的な問題解決のためのヒューリスティック・フレームワーク
1945年に初版が発行されたジョージ・ポーヤの『いかにして問題をとくか』は、複雑な問題に取り組むための4段階の構造化された手法を提示しており、即座に行動を起こすことよりも、深い理解と反復的な計画立案を重視しています。
記事全文を読む →Heretic：Transformerベース言語モデルの検閲解除を自動化するツール
Hereticは、「アブリタレーション（abliteration）」という手法を用いて、言語モデルから安全性の調整制限を自動的に解除するオープンソースツールです。モデルの重みを修正することで、手動介入や大規模な再学習なしに拒否行動を回避します。
記事全文を読む →数学と人工知能に関する諮問グループがAI研究の統合に向け設立
著名な数学者らによる新しい独立組織が設立され、AI企業に対し数学研究の責任ある提示と公開について助言を行う。まずはOpenAIとの連携を具体的な任務とする。
記事全文を読む →terrytao.wordpress.com
新しい暗号研究により実用的なRSA署名偽造が可能であることが判明
研究者らは、基盤となる鍵を素因数分解することなくRSAデジタル署名を偽造する新しい手法を開発し、1024ビットRSA実装のセキュリティを大幅に低下させました。この攻撃は、標準的なパディングスキームではなく、ブラインド署名を使用する特定のプロトコルを標的としています。
記事全文を読む →
外交：友情を破壊するボードゲームが残した不朽の遺産
1954年に考案された「ディプロマシー」は、運の要素を排除し、激しく、時に冷酷な対人交渉に依存する戦略ボードゲームです。多くのゲームとは異なり、ダイスやカードを一切使用せず、複雑で拘束力のある、あるいは欺瞞に満ちた同盟を通じて、プレイヤー同士が同時進行で手を調整することを強いるゲームです。
記事全文を読む →
SourceHutの脆弱性、ビルドログ経由でのアカウント乗っ取りを許容
ansi2htmlライブラリのセキュリティ脆弱性により、SourceHutユーザーに対するクロスサイトスクリプティング（XSS）攻撃が可能となり、悪意のあるビルドログを通じてアカウントが乗っ取られる危険性がありました。
記事全文を読む →