研究ソース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プロトコルの安全性の形式的検証に成功