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

THEME · TECHNOLOGY & TOOLS

テクノロジーと道具

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

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

公開記事

2–21 / 全199本
証明を書いた側ではなく、確かめる側に機械が回った|フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み
Daily Intel未来生活ブリーフ
10

📋 Daily Intel 9/5|証明を書いた側ではなく、確かめる側に機械が回った|フェルマーの最終定理の機械検証済み証明が11日で完成、GPT-6 Astra が全社内プランへ開放、住まいの手ざわりを設計する試み

Anthropic が9月4日、「大きな数学の証明が正しいかを確かめるには何年もかかることがある。形式化——数学的推論を Lean のような証明支援系が検証できる形へ変換すること——が助けになる」と投稿した。

三つの窓口が、同じ時刻に閉まった|ChatGPT・Claude・Grok が同時停止した日に GPT-6 Astra が出て、思考の見えにくさが仕様として書かれた
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件に達したと報じられている。

いちばん強い道具が、いちばん狭く配られた|Gemini 3.8 Flash は誰でも使える一方で Cyber 版は国家当局に限定、Meta の新モデルは確認してから動く
Daily Intel未来生活ブリーフ
9

📋 Daily Intel 9/3|いちばん強い道具が、いちばん狭く配られた|Gemini 3.8 Flash は誰でも使える一方で Cyber 版は国家当局に限定、Meta の新モデルは確認してから動く

Google DeepMind が日本時間9月3日0時42分、Gemini を二つ同時に出した。3.8 Flash は「これまでで最も賢い」とされ、ソフトウェア開発・エージェント的なタスク・多段の推論で 3.7 Flash から大きく伸びたという。

週末に更新されたのは、暮らしの下地のほうだった|43億ドルの望遠鏡がL2へ向かい、Starlinkが初参加でケーブル全社を抜き、AIの話が送電網に降りた
Daily Intel未来生活ブリーフ
10

📋 Daily Intel 8/31|週末に更新されたのは、暮らしの下地のほうだった|43億ドルの望遠鏡がL2へ向かい、Starlinkが初参加でケーブル全社を抜き、AIの話が送電網に降りた

見る力が一段階上がった。NASA のナンシー・グレース・ローマン宇宙望遠鏡が、米東部時間8月30日午前7時26分、ケネディ宇宙センターの39A射点からファルコン・ヘビーで打ち上げられた。