gihyo.jp
元記事公開:
GPU上で動く高級言語「Bend 2」公開 ——AIが書くコードを数学的な証明で検証
AI要約
並列実行可能な高級言語Bendのv2版が公開され、AI生成コードの数学的検証に活用される
重要ポイント
- •Victor Taelin氏が9月17日にBend 2の公開をXで発表した
- •CPUおよびGPU上で並列実行できる高級言語として開発されている
- •AIが生成するコードを数学的な証明を用いて検証することを目的としている
関連する記事(LLM/モデル動向)
もっと見るITmedia AI+
Microsoftも“判断特化”AIモデル「Microsoft-Decision-1」、Qwenベースで「Jev」と同価格
MicrosoftがQwen3.5-9Bをベースとした判断特化AI「Microsoft-Decision-1」を発表し、高速な確率推論と低価格な提供を開始した
Hacker News
LLMの能力に対する共通理解のギャップは拡大している
LLMの能力に対する社会の認識が二極化し、理解のギャップが拡大している現状を指摘する議論
Hacker News
人工知能という名称の問題点
現在の生成AIモデルのフロンティアに対して「人工知能」という名称が不適切であるという見解を、言葉の定義や技術的な背景から論じるエッセイ。
Hacker News
Anthropic、Claudeに関する新たな「ナンセンス」を主張
AnthropicがClaudeへの道徳的配慮や苦痛の感情能力を主張したことに反発し、記者からのコメント依頼に対し自身の見解を公開した
CodeZine
Liquid AI、エッジ向けのオープンモデル「d1-3B」などを公開
Liquid AIがエッジデバイス向けのオープンモデル「d1-3B」などを公開したと報じている記事