なぜ超人的AIの時代に、人間の数学者が依然として重要なのか
Po-Shen Lohは、説明責任を伴う監督を必要とする意思決定が増大するにつれて、AIは人間の専門知識をなくすのではなく、むしろその必要性を高める可能性があると主張している。彼の議論は統治、すなわち方向づけることに関するものであり、AIが労働力不足を引き起こすことの証明でも、人間の統制を保証できるとする証明でもない。
記事全文を読む →
terrytao.wordpress.com最新の解説
terrytao.wordpress.com
偽造PDFは作成がより難しく、見落としやすいのはなぜか
グウェンは、PDFの偽造は驚くほどまれだと論じています。しかし、提示された証拠が裏づけるのは、より限定された結論です。PDFは編集用の原本ではなく、表示を固定したレイアウトで提示するためのファイルであり、そのため説得力のある変更が難しくなることがあります。とはいえ、この技術的な障壁は、偽造が不可能であることを示すものではなく、あらゆる場面で改変PDFがまれだと証明するものでもなく、権威ある原本との照合に取って代わるものでもありません。
記事全文を読む →
AIコーディングの高速化には、やはりCIの高速化が必要
Linearによると、AI支援開発によってCIを通過するプルリクエストが増えたため、同社はハードウェア、セットアップ、クリティカルパス上の作業、より安全なテストの並列処理を中心にパイプラインを再設計し、待ち時間を短縮しました。
記事全文を読む →
深度で割るだけで3Dが即座に立体に見える理由
深度で割るというシンプルな規則は、透視投影の本質を捉えています。点がカメラから遠ざかると、その水平方向と垂直方向の画面位置は消失点に近づきます。完全なカメラパイプラインでは、この処理を、向き、視野角、クリッピング、画面へのマッピングを処理する変換で囲みます。
記事全文を読む →
書評：McKenneyの並列プログラミング教科書は厳密だが挑戦的
TLA⁺と分散システムの背景を持つ評価者が、Paul E. McKenneyの無料のオンライン教科書「Is Parallel Programming Hard, And, If So, What Can You Do About It?」を読み、最初の5章を優れたものと評価した——しかし、CPUキャッシュ、コンパイラの命令再ordering、メモリモデルについてまだ学ばなければならないことの多さを明らかにした。
記事全文を読む →
CRTはピクセルアートを変えた——それでもピクセルを消したわけではない
CRTは輪郭を和らげ、ディザリングを混色し、信号由来のアーティファクトを生み出しましたが、低解像度のピクセルを消し去ったわけではありません。実際の視覚効果は、ディスプレイそのものと同じくらい、制作技法と接続品質にも左右されました。
記事全文を読む →
AMD Ryzenの性能が2年で約50%向上した理由
Daniel LemireのGeekbench 6比較では、5800X3Dから9800X3Dへの性能向上は、クロック速度の上昇よりも、コアの幅の拡大、キャッシュ容量の増加、実行リソースの拡充、ベクター演算ユニットの大型化によるところが大きいと説明されています。
記事全文を読む →
AIトークンは計量不能なほど安くなるのか
新たな分析は、モデル、ハードウェア、ソフトウェアのコスト低下によってAI利用が普及する可能性があると論じている。根拠はタスク単価の急速な低下について最も強く、長期予測は実測結果ではなく予測のままだ。
記事全文を読む →
なぜ記憶宮殿は、円周率100桁をエンジニアリングのように感じさせるのか
ある個人実験は、人物・行為・対象による符号化と空間的手がかりを用いることで、一見まとまりのない暗記課題を反復可能な手順へ変えられることを示している。有用な教訓は、誰もが1時間で同じ結果を出せるとは限らないという点だ。むしろ、意味のある連想、練習、よく設計された検索構造が、誤りが生じる場所を変え得るということである。
記事全文を読む →
初めてのGodotシェーダーが、実は「並列思考」を学ぶ授業である理由
GDQuestの2026年9月のガイドは、アニメーションするポータルのシェーダーを一通り作成する方法を解説しています。しかし、より大きな価値は、発想の切り替えにあります。逐次的な命令を書くのではなく、頂点やフラグメント全体で実行される計算を記述する、という考え方です。このガイドはGodot 4とGDScriptにある程度慣れた読者を対象としており、ゲームエンジン自体の完全な初学者向けではありません。また、パフォーマンスや学習効果に関する記述は、測定結果というよりも、学習上のガイダンスとして読む必要があります。
記事全文を読む →
「オフ」が本当のオフではない場合：Apple Intelligence、同意、そして残る設定
macOSユーザーは、アップデートによって目に見えるApple Intelligenceのオプトアウトが消え、22.28 GBの容量が使われたと報告しました。ここから、隠れた制御に実質的な同意の機能があるのかという実務的な疑問が生じます。根拠は、本人が観察した内容を裏付けるものですが、Appleの意図、すべてのネットワーク動作、あるいは各設定の技術的な意味までは立証していません。
記事全文を読む →
Markdownが情報の唯一の基盤になるとき
Carson Grossは、エージェント型コーディングチームが設計意図をレビュー済みのMarkdownとして生成コードの近くに保存し、そこからテストを導き出すべきだと主張している。この提案は有望だが、明示的に暫定的なものであり、未解決の主要な問題は、記述とそれが説明するコードとの同期を維持することだ。
記事全文を読む →「25行のJev」の例が実際に示すもの
固定ラベルのロジットから分類確率を計算する手法を、コンパクトなPythonスクリプトが示しています。ただし投稿者自身は、これをTypeSafeのJevシステムを独自に再現したものではなく、パロディだと説明しています。
記事全文を読む →
MetaのMuse脆弱性が明かす、高権限AIエージェントの課題
報告されたmacOSの欠陥により、Museの認証トークンが攻撃者に制御された文字起こしエンドポイントへ流出する可能性があった。この問題は、その発動につながり得るソーシャルエンジニアリング手法「ClickFix」とは別物であり、Metaは修正プログラムをすでに公開したとしている。
記事全文を読む →GeaStackのTypeScript例が実際に示していること
GeaStackの公開リポジトリは、Web、ESP32、GeaOSなどを対象とする小規模なTSXアプリ集を、マニフェストによって管理していることを示しています。ただし、それだけで、すべてのアプリがネイティブバイナリにコンパイルされること、またはJavaScriptとTypeScriptのすべての意味が対象間に変更なく維持されることを証明するものではありません。
記事全文を読む →
Waymoの新交通連携特典はシンプル――だが、見当違いの接続に報いる可能性がある
Waymoは、Visaで支払ったWaymoの利用と非接触Visaによる公共交通の利用が2時間以内に発生した場合、乗客に2.85ドル分のWaymo Cashを支給するベイエリア向け制度を試験している。この特典は一部の起点・終点間移動のコストを下げる一方、支払いに関する制約、限定された地域、移動目的への対応の欠如により、現時点では円滑な仕組みであるどころか、公共交通の利用を実際に拡大する制度だと実証されたわけでもない。
記事全文を読む →
VS Code Remote SSH：強力なアクセス、それとも過剰なブートストラップ？
Fly.ioの記事は、Visual Studio Codeの遠隔編集エージェントが、軽量なSSH支援機能というより、遠隔側の終端からインストールされ制御されるソフトウェアのように振る舞うと主張している。この機能を有用にしている能力は、そのままセキュリティ上の境界も定義する。エージェントをホストするマシン上で、ファイルを変更し、プロセスを起動できるからだ。
記事全文を読む →virtio-nvgpu：VM境界を越えて送るのはNVIDIAドライバ呼び出しであり、グラフィックス呼び出しではない
実験的なvirtio-nvgpuプロジェクトは、Linux仮想マシンとホストの間でNVIDIAカーネルドライバへの要求を転送し、ゲストが1枚の物理GPUを共有しながらNVIDIA独自のグラフィックス、計算、エンコード用ライブラリを実行できるようにする。READMEは限定的な合成ワークロードでベアメタルに近い結果を報告している一方、セキュリティと互換性には未完了の重要課題が残っているとも指摘している。
記事全文を読む →
Unreal Agentの非同期ツールループ：コスト削減はどこから生まれ、どこで比較の限界が来るのか
Unreal Labsによると、同社のGo向けハーネスでは、モデルが操作入力を受け付けたり別の作業を開始したりしている間もツールをバックグラウンドで実行できるため、待機時間とトークン使用量を削減できるという。2026年9月22日に発表された結果は、4つのコーディングテストにおいてCodexとPiを比較対象とした場合、コストが低く、合格率が同程度だったことを示している。しかし、この証拠から、普遍的に40%のコスト削減が可能だとか、比較対象の各システムが同一のモデルと設定を使用していたと結論づけることはできない。
記事全文を読む →
英国、宇宙防衛の一環として外国衛星を妨害していると表明
BBCは、英国が約1年にわたり地上配備型システムを使い、外国衛星が機密性の高い軍事情報を収集するのを妨害してきたと報じた。この発表は、通信、航法、ミサイル警戒を支える衛星を防護する新しい部隊を英国が創設する中で行われた。
記事全文を読む →