本文へ移動
LIFEMAKERS.COM — 自給率を上げる。自立型ライフの実践知メディア
Aboutベータ版

INDEX · ALL STORIES

すべての記事

Signal・Deep Dive・ガイドなど、公開した記事を新しい順にすべて並べます。毎日の Daily Intel・暦・速報はそれぞれの一覧から読めます。

FORMAT
すべて
範囲
5 THEMES
公開数
610本公開

新しい順

530–553 / 全610本
Claudeが証明したのはリーマン予想ではない——「零点の67.2%」という下限と、手元で検証できるLeanのコードのイメージ
4分

Claudeが証明したのはリーマン予想ではない——「零点の67.2%」という下限と、手元で検証できるLeanのコード

未公開の研究版Claudeが、ゼータ関数の零点のうち臨界線上にあると証明できる割合の下限を41.6%から67.2%へ引き上げた。リーマン予想は解けていない。注目したいのは記録より、その証明がLeanで形式化され、誰でも手元で通せる形で公開されたことのほうだ。

Metaの「Muse Code」ベータ公開——24時間走り続けるターミナル型コーディングエージェントのイメージ
3分

Metaの「Muse Code」ベータ公開——24時間走り続けるターミナル型コーディングエージェント

Metaがターミナル上で動くコーディングエージェント「Muse Code」をベータ公開した。新モデルMuse Spark 1.2を動力に、永続サブエージェントとリポジトリ規模の実行・検証を備え、最大24時間・1,000回以上のツールコールという長時間タスクを前提に設計されている。AIに預ける仕事の単位はどこまで大きくなるのか。