Signalテクノロジーと道具
4分
Anthropic の FlashProve、AI の回答元モデルを暗号で証明
Anthropic が AI の回答元モデルを暗号で証明する研究用の仕組み FlashProve を公開。検証は普通の CPU でできるが、証明コストは推論の約72〜94倍で、まだ研究段階だ。
INDEX · KEYWORD
オープンソース
「オープンソース」に関連する公開記事をまとめています。
- KEYWORD
- オープンソース
- 範囲
- 公開記事
- 公開数
- 13本公開
関連記事
2–13 / 全13本
速報エネルギーと循環
1分
Anthropic、AI応答の真正性を検証する技術「FlashProve」をオープンソース公開
@AnthropicAIは、大規模言語モデルの応答が特定のAIモデルから生成されたことを検証する技術「FlashProve」を発表した。
3分
無料の VoiceStudio、声の複製と吹き替えを手元の PC で
声の複製・吹き替え・文字起こしを手元の PC で動かせる無料の VoiceStudio。CPU でも動くが日本語の文字起こしには追加のモデルが要り、アプリとモデルでライセンスは別。声の持ち主の許可という条件も整理する。
Signalテクノロジーと道具
5分
DeepSeek、会話から仕事を拾う開発エージェントを研究試作として公開
DeepSeek が会話から仕事を引き受けるコーディングエージェントの研究試作を公開。初期設定では先回りの仕事は記録だけで、全権限で動くため専用 OS アカウントでの隔離が求められている。
Signal生き方と宇宙
4分
Tencent が Hy-Nomas を公開、RTX 4090 1 枚で動く世界モデル
Tencent が言葉で操れる動画の世界モデル Hy-Nomas を公開した。RTX 4090 1 枚で動かすための条件と、手元に作る道具が来ることの意味。
Signalテクノロジーと道具
4分
Claude、オープンソース123ライブラリを形式検証し数百のバグを修正
Anthropic が Claude で123のオープンソース・ライブラリを形式検証し、数百のバグを直した。何が証明され、何が守られないのか。日々のアプリの安全にどう届くのかを読む。
Signalテクノロジーと道具
5分
DeepSeek の DeepInfer 公開で、AI の利用料は下がるのか
DeepSeek が推論の仕組み DeepInfer をオープンソースで公開した。家庭のパソコンでは動かないが、AI の料金とデータの預け先に関わってくる。
速報エネルギーと循環
1分
DeepSeek、AI推論フレームワーク「DeepInfer」をオープンソース化
@deepseek_aiが、自社の推論フレームワーク「DeepInfer」をオープンソース化すると発表した。
Signalテクノロジーと道具
5分
Unitree の 64 タスク人型モデル、本体の重みは未公開
一つの重みで卓上作業と全身作業あわせて64タスクを扱うという人型ロボットの基盤モデルが、Apache 2.0 で公開されると発表された。ただし本体にあたる重みと追加学習のコードは、公開計画上まだ近日公開のままだ。
Signalテクノロジーと道具
5分
Recuris は重みを一度も更新しない——エージェントが強くなったのは、記憶のほうだった
モデルの重みは凍結したまま、外側の記憶だけを書き換え続ける仕組みが公開された。著者らの計測では 37 組中 35 組で成功率が上がり、育てた記憶は別のモデルにも移ったという。手元で試すのに要るものと、まだ分からないコストを整理する。
Signalテクノロジーと道具
4分
DeepSeek がエージェントの土台を MIT で公開した——「全部が差し替えられる」は「全部を自分で決める」でもある
モデルの接続部分から実行ループまで、あらゆる部分が差し替えられる土台が MIT で公開された。既定を疑える場所ができた一方、決めることも増える。
Signal生き方と宇宙
5分
Bitcoin Red Teamが390本を27.5時間で点検した——自分の手元の道具は、誰が見ているのか
390本のオープンソースが27.5時間で点検され、4,962件の指摘が挙がった。その数字が何を数えたものかと、使う側が手元で確かめられる範囲を整理する。
Signalテクノロジーと道具
3分
台風予測で既存モデルより平均1日先まで精度を保った「WeatherNext」
Google DeepMindのサイクロン予測AI「WeatherNext」は、主要な運用モデルとの比較で平均1日以上の予測リードタイム優位を示した。これは警報や備えが24時間早まる意味ではない。