AIの誤りを防ぐ新言語「Bend」が登場、形式的証明で意図を正確に伝える未来へ
AIによるコード生成の誤りを「証明」で防ぐ新言語「Bend」が登場。C言語並みの速度とGPU並列処理を実現し、人間が記述から解放されるポストAGI時代を見据えた設計です。
💻 IT・テクノロジー
2媒体の報道をまとめ
「Lean」に関連する記事を新しい順に並べています。
AIによるコード生成の誤りを「証明」で防ぐ新言語「Bend」が登場。C言語並みの速度とGPU並列処理を実現し、人間が記述から解放されるポストAGI時代を見据えた設計です。
OpenAIの次世代モデル「Astra」が数学の未解決問題を解決したと発表。一方で、高いサイバー攻撃能力への懸念から開発を一部停止。知能の飛躍と安全性のジレンマについて解説します。