CATEGORY

「証明」によりAIの誤りを阻止しGPU上で動作する高速プログラミング言語「Bend」、C言語並みの処理速度・CUDAによる並列処理・Leanによる形式的証明・Python風の構文

「Bend」はAIが犯すかもしれない誤りを「証明」によってブロックすることを目指す新たなプログラミング言語です。

続きを読む…


ソース元はコチラ

この記事は役に立ちましたか？

もし参考になりましたら、下記のボタンで教えてください。

にんにくの香りが強烈な「スーパーカップ1.5倍 あばれ豚骨ラーメン」を食べてみた - GIGAZINE 前の記事 アメリカ政府による大規模監視を暴いた機密資料「スノーデン文書」はどうなったのか？ - GIGAZINE 次の記事

関連記事

  • テックニュース

「世界の終わり」の予言がどれだけ当たったかがわかる「終末の日スコアボード」 – GIGAZINE

2025年12月31日 00時00分 メモ 「世界がどのような終焉を迎えるのか？」という疑問は昔から人類を恐怖させたり悩ませたりしてきたテーマであり、疑問に答えるべく古来より数々の予言者が登場し、様々な「世界の終わり」を予言してきました。そのような

  • テックニュース

教授がChatGPTを使っていたとして元大学生が返金を要求、「私たちには使うなと言っておいて」と抗議 – GIGAZINE

最高学府における生成AIの使用は微妙な問題で、大学の教授や教員たちはChatGPTで研究が大いにはかどったと報告する一方で、大学生の大半が生成AIを使っていることに衝撃を受けています。こうした中、自分たちにChatGPTを使うなと言っていた教授がAIで授業資料を作ってい

  • テックニュース

「世界のどの地域に住むか」によって人間の老化速度が左右されるとの研究結果

人間の老化には遺伝子や生活習慣、ストレスなど多岐にわたる要因が影響を及ぼしています。スタンフォード大学医学部が主導した新たな研究では、その人の民族性と「世界のどの地域に住むか」が老化速度を左右することがわかりました。続きを読む...ソース元はコチラ

  • テックニュース

AdobeがAIで動画を最大2秒延長する「生成延長」機能をPremiere Pro向けにリリース、4K品質でバックグラウンドオーディオ付きでクリップを最大2秒延長可能

Adobeが、動画編集ソフトのPremiere Proと映像制作ソフトのAfter Effectsのバージョン25.2を正式リリースしたと2025年4月2日に発表しました。バージョン25.2のアップデートでは、生成AIによる素材の延長が可能になったり、自動でタグ付けされた素材の管理、字幕の自動翻訳