研究ソース5件
テストが大学生に与えたストレスが「下水の化学的痕跡」から明らかに、抗うつ薬の使用も増加した可能性
GIGAZINE ·
要点 · ソース5件をもとに作成
- Google DeepMindがソフトウェア検証を行うマルチエージェントAIフレームワーク「AlphaProof Code」を発表した
- 研究チームはAlphaProof Codeを用いて、Signalプロトコルが十分なセキュリティ保護機能を備えていることを数学的に証明したという
- Signalプロトコルは Googleメッセージなどの暗号通信に使用されている
なぜ重要か
暗号プロトコルの安全性を、テストや人手のレビューだけでなく数学的に検証する手法が実用に近づいたことを示す。暗号通信機能を設計・実装する開発者にとって、形式検証という選択肢が広がる点が重要である。
影響を受ける人
- 暗号通信プロトコルを設計・実装する開発者
- セキュリティ検証やテスト自動化に関わる開発者
- #形式検証
- #Signal
- #AlphaProof Code
- #暗号
- #Google DeepMind
ストレスは心の中だけに影響するものではなく、血液・唾液・髪の毛など体中のさまざまな場所に化学的痕跡を残します。「大学の下水」を分析した新たな研究では、大学のテスト期間中に学生たちが経験したストレスの痕跡が、下水の中にみられることがわかりました。 続きを読む...
タイムライン
GIGAZINE
NVIDIAが仮想的な日本人900万人分の家計や財務状況を含めたペルソナをまとめたデータセットを公開
GIGAZINE
テストが大学生に与えたストレスが「下水の化学的痕跡」から明らかに、抗うつ薬の使用も増加した可能性
GIGAZINE
AIを使って部屋のどこから鳴っているのか分からない謎の「ピッ」という音の発生源を突き止めた話
GIGAZINE
ドーパミンが人間が本来避ける「苦み」をおいしく感じるよう指示している、最初は嫌いでも食べるうちに好きになっていくメカニズムの一部が明らかに
GIGAZINE
Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功