Signal未来生活ブリーフ
6分
米政府3機関が Kimi K3 の訓練データを名指しした。宛先は使う側ではない
米政府3機関が共同助言で Kimi K3 の訓練データを名指しした。だが推奨された対処はすべてモデルを提供する側に向いている。落とせる重みと、動かせる機材と、MIT ではないライセンス。使う側に増えたのは禁止ではなく判断材料だ。
THEME · TECHNOLOGY & TOOLS
テクノロジーと道具
AI、ロボティクス、ガジェット、通信、センサー、デジタルサービス、工作機械を、自立に役立つ道具として評価する。
- THEME
- テクノロジーと道具
- 範囲
- テクノロジーと道具
- 公開数
- 270本公開
公開記事
62–81 / 全270本
Deep Dive未来生活ブリーフ
8分
OpenAI が 88 時間で出した Navier-Stokes の証明を、まだ誰も見ていない
1 万体のエージェントが 88 時間で出したとされる証明は公開されていない。一方で、自費でツール代を払っていた数学者 2 人の結果は Lean を通り、公開されている。個人が道具に未完成の仕事を預けるとき、何が手元に残るのかを読む。
Signal未来生活ブリーフ
4分
Meta の Muse は月 20 ドルと 100 ドルで、あなたの用事をどこまで代わりにやるか
Meta がパーソナル AI エージェント Muse を米国で公開した。代理人がどこに住み、何を見ないことになっているかが仕様として書き出されている。日本から試せないあいだに決めておけることを読む。
Signal未来生活ブリーフ
6分
画面が消えても LG のテレビは家中の機器を数える。分けて置くならどこからか
LG の OLED テレビが家庭内ネットワークを走査し、テレビにつないでいない機器の名前や内部 IP まで一覧にしていた。第三者による解析報告と、LG の説明、そして 5 月にすでに動いていた別の線を並べて読む。
Daily Intel未来生活ブリーフ
11分
📋 Daily Intel 9/9｜任せられる相手が、同じ日に「難問を解く側」と「用事を片づける側」の両方から来た｜月20ドルの個人エージェント、88時間の証明、見えるブラウザ
Meta が Muse を米国で公開した。買い物、映画のチケット、テニスのレッスンの予約、遠足の許可証の記入。
Signal未来生活ブリーフ
5分
AlphaGenome Atlas が90億通りの答えを先に置いた。宛先はあなたか
ヒトゲノムのありうる90億通りの1文字置換について、分子レベルの予測が計算済みで公開された。ブラウザから無料で引けるが、臨床判断に使ってはならないと利用条件にある。尋ねる前に答えが置かれる順番になったとき、自分は何を先に確かめるのか。
Signal未来生活ブリーフ
4分
Insilico の rentosertib は肺の薬だが、6 つの老化時計が揃って若い側を示した
AI が標的を見つけ、AI が分子を設計した肺の薬で、生物学的年齢の推定値が下がった。ただし試験が見ていたのは肺のほうで、切り分けはこれからだ。
Signal未来生活ブリーフ
4分
Anthropic が Decart の買収から降りた。報じられた狙いは世界モデルではなかった
世界モデルの会社として知られる Decart に、Anthropic がおよそ 60 億ドルを付けかけて降りた。報じられた狙いは、画面に映るほうの層ではなかった。
Signal未来生活ブリーフ
4分
XPENG の IRON が工場から歩いて出た。価格も台数も、発表には入っていない
XPENG が広州でヒューマノイドロボットの製造ラインを稼働させ、汎用ヒューマノイド IRON が自力でラインから歩き出た。ただしライン稼働は量産ではない。年末の量産目標と2027年の発売予定の間に、まだ埋まっていない項目を数えておく。
Daily Intel未来生活ブリーフ
9分
📋 Daily Intel 9/8｜電源と住まいを系統から外す製品が、同じ日に二つ出てきた｜AIの測り方が「賢さ」から「任せられるか」へ、証明の検算は機械が引き受けた
同じ24時間に、電気と住まいを系統から少し外す製品の話が二つ並んだ。EcoFlow がベルリンの IFA2026 で新しいポータブル電源 PowerRock を発表した。
Signal未来生活ブリーフ
4分
黄仁勲が「AGIが来た」と投稿し、OpenAIはAstraをそう呼んでいない
「AGIが来た」と投稿したのはチップを供給する側で、モデルを作った OpenAI は Astra をそう呼んでいない。同じ投稿の訓練台数は、30万から書き直されていた。
Daily Intel未来生活ブリーフ
9分
📋 Daily Intel 9/7｜AI に任せて放っておける時間が、半年で6倍になった｜研究者のエージェント代は1日601ドル、サムがパチョッキの提言を推し、スペースXが27基を上げた
AI の性能推移を追っている分析アカウント scaling01 が、この24時間にいくつもの数字を並べた。中心はひとつだ。
Daily Intel未来生活ブリーフ
10分
📋 Daily Intel 9/6｜最新モデルが全員の手元に降りてきた日に、AI が勝手にネットへ書き込んでいた｜数学の証明を機械が検算し、エージェントの群れが研究を回す
同じ24時間のなかで、ふたつの正反対のことが起きた。ひとつは、最新モデルが手元に降りてきたこと。
Signal未来生活ブリーフ
4分
OpenAIが決めると言い出したのは「事故をいつ話すか」だった——任せている側は、何を知らされるのか
OpenAIが自社エージェントの書き込みについて出したのは、モデルの危うさの説明ではなく、出来事をいつ話すかの基準を作るという表明だった。任せている側は、何をいつ知らされるのか。
Deep Dive未来生活ブリーフ
8分
フェルマーの最終定理が Lean で機械検証を通った——確かめる側に回るには、153GB のメモリが要る
Claude が 11 日でフェルマーの最終定理の証明を Lean で形式化し、機械検証を通した。依存する公理は 3 つだけ、未証明の穴もなし——ただし自分で全部を再現するには、ピーク 153GB のメモリが要る。
Daily Intel未来生活ブリーフ
10分
📋 Daily Intel 9/5｜証明を書いた側ではなく、確かめる側に機械が回った｜フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み
Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。
Signal未来生活ブリーフ
4分
ChatGPT と Claude と Grok が同じ朝に止まった——三つ並べても、下の計算基盤が重なっていれば備えにならない
別々の会社の別々のサービスが同じ時間帯に止まった。共通原因は公式には確認されていない。それでも、三つ並べていた人の手元では三つとも止まった——その事実だけで、その三つは独立していなかったことになる。
Daily Intel未来生活ブリーフ
12分
📋 Daily Intel 9/4｜三つの窓口が、同じ時刻に閉まった｜ChatGPT・Claude・Grok が同時停止した日に GPT-6 Astra が出て、思考の見えにくさが仕様として書かれた
9月3日、ChatGPT と Claude と Grok が同時に止まった。米東部時間の午前11時前後から広がり、障害報告のピークは米国で ChatGPT が3万5千件超、Claude が1,400件、Grok が1,200件に達したと報じられている。
Signal未来生活ブリーフ
4分
Hugging Face の棚ごと NVIDIA が買う——129億3,030万ドルで、引く側の日常はまだ何も変わらない
NVIDIA が Hugging Face を129億3,030万ドルで買収する。完了は2027年前半、規制当局の承認が前提。オープンな重みを引いてくる棚の持ち主が変わるが、引く側の日常は今日のところ何も変わらない。
Signal未来生活ブリーフ
4分
Figure が10万枚のGPUを押さえた——家に来るロボットが育つ場所は、2027年後半のテキサスに決まった
Figure が Nscale と組み、NVIDIA Vera Rubin 上に最大10万枚のGPUを展開する。2027年後半、テキサス州バーストウ。発表されたのはロボット本体ではなく、その判断が作られる場所と金額だった。