本文へ移動
LIFEMAKERS.COM — 自立型ライフの実践知カタログベータ版

THEME · TECHNOLOGY & TOOLS

テクノロジーと道具

AI、ロボティクス、ガジェット、通信、センサー、デジタルサービス、工作機械を、自立に役立つ道具として評価する。

THEME
テクノロジーと道具
範囲
テクノロジーと道具
公開数
199本公開

公開記事

82–101 / 全199本
Claudeが証明したのはリーマン予想ではない——「零点の67.2%」という下限と、手元で検証できるLeanのコードのイメージ
Signal未来生活ブリーフ
4

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

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

WeatherNext が台風予測に1日を足した——DeepMind が重みごと公開したのイメージ
Signal未来生活ブリーフ
4

WeatherNext が台風予測に1日を足した——DeepMind が重みごと公開した

DeepMind がサイクロン予測モデル WeatherNext を Nature 発表と同時に重みごと公開した。三日先が従来の二日先の精度に届いたという。ただしこれはモデル同士の成績で、手元の警報が24時間早くなる話ではない。それでも24時間は、備えが一巡できるかの境目にある。