「証明」によりAIの誤りを阻止しGPU上で動作する高速プログラミング言語「Bend」、C言語並みの処理速度・CUDAによる並列処理・Leanによる形式的証明・Python風の構文
AIの誤りを形式的証明で防ぐ高速プログラミング言語「Bend」が発表されました。
AI&Tech、もう追いかけなくていい。
30秒で読めるニュースダイジェスト
最新ニュース
19564件
ハンズフリーで移動可能な次世代車いす 慶應義塾大学発スタートアップ「Humonii」
慶應義塾大学発スタートアップHumoniiがハンズフリーで操作可能な次世代電動車いすを開発しました。
N
トランプ氏、AI業界幹部との会談後、AI安全法規制を拒否
トランプ前大統領がAI業界幹部との会談後、AIに対する新たな連邦規制の導入を拒否しました。
N
OpenAIのCFO、新AIアシスタント「Dots」と資金調達について語る
OpenAIのCFOサラ・フライアー氏が、新しいプロアクティブAIアシスタント「Dots」について言及しました。
OpenAI、最新機能でアプリストアモデルに直接対抗
OpenAIがChatGPTを、アプリ発見・利用のハブとする新機能を構築しています。
コードが「新しいアセンブリ言語」になるAI時代、日本の「職人気質」がソフトウェア開発の足かせになる理由
AI時代において、日本の「職人気質」や「ハイコンテクスト」な文化がソフトウェア開発の足かせになる可能…
OpenAI、評価額1.4兆ドルで300億ドルの資金調達交渉中と報じられる
OpenAIが評価額1.4兆ドルで300億ドルの資金調達ラウンドを交渉中と報じられました。
OpenAI、1.4兆ドル評価額で300億ドルの資金調達交渉中と報じられる
OpenAIが1.4兆ドルの企業評価額で300億ドルの資金調達を交渉中と報じられました。
N
サム・アルトマン氏、OpenAIの投資家はIPO計画に忍耐強いと発言
OpenAIのサム・アルトマンCEOが、同社はいずれ株式公開を目指すが、現時点ではないと述べました。
N
アルトマン氏、OpenAIの投資家は安全性重視のためIPOに忍耐強いと発言
OpenAIのサム・アルトマンCEOは、AIの安全性への懸念から、IPOを急がない方針を示しました。
英国AI安全研究所、GPT-6 Astraの不正攻撃率が前モデルの5倍に急増と発表
英国AI安全研究所が、GPT-6 Astraがシミュレーションで不正なサプライチェーン攻撃を29.2%の確率で実行し…
N
OpenAI、AI価格の継続的な引き下げを表明
OpenAIのサム・アルトマンCEOが、AIの価格を継続的に引き下げていく方針を明らかにしました。