物理学者のように LLM を剪定する：ブロック除去を Ising 最適化問題として扱う
ブロックを丸ごと消すのが手軽な高速化だが、どれを消すかは多体問題になる。Multiverse Computing はこれを制約付き二値最適化に書き直し、Ising 模型の低エネルギー状態を高スコアのモデルに対応させた。
数学
もっと見る 数学
ホーム
MilleMiglia：中距離物流向けのリアルなインスタンス生成器
MilleMiglia は C++ のオープンなインスタンス生成器で中距離物流のベンチマーク空白を埋め、 独自データに縛られずに跨拠点のリレー輸送を最適化できるようにする。
私たちにはまだ人間の数学者が必要なのだろうか？
Po-Shen Loh、数学者は制御を手放すべきという反論に応答：彼は基本公理（我々は人類の繁栄を助けるべき）を提唱し、推論の連鎖を導く——AIが進歩するほど人間が監視すべき制御点が増え、人手が足りなくなり、それらの職務が逆にAIを減速させる。
衛星測位が使えないとき：Levenberg-Marquardt で Bluetooth RSSI の混乱に対抗する
衛星測位は建物内で使えなくなるが、著者はBLEビーコンとLevenberg-Marquardt三辺測位をiOS上で組み合わせ、誤差を50cm以内に抑えた。
私がフィールズ賞受賞者たちの公開書簡に署名しなかった理由
Gowers は「危機に直面している」ことに同意しつつ、「概念的理解が問題解決より上位」という唯一の正解には与しない。数学者の動機をスペクトラムとして捉え、モデルが人間を全面的に超える未来と、公開が国際的に制限される未来を比較する。
数学が証明だけではないなら、その他の部分ももっと称える必要がある
Grant Sandersonは、AIによる証明の衝撃に応えるため、数学界は新しい証明だけでなく動機づけられた説明を正式に評価すべきだと提案した。
Cloudflare は構造体を1つとパラメータを1つ変えただけで、100TB のメモリを回収した
Pingoraの一貫性ハッシュがメモリを6GBも消費：機能の組み合わせでハッシュリングが数十枚になり、サーバーあたり10万のハッシュポイントは数学的にすでに収穫逓減。Cloudflareはu16インデックスと90%のハッシュ削減で100TBのRAMを節約し、デュアルリングの並行移行でキャッシュ雪崩を回避。
数学を知らない人が約40億トークンでConwayの50年前の予想を証明
あなたは明らかに物事を直接証明できる。