フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean 4」に対応したオープンソースのAIエージェントで、数学やプログラムの正しさを厳密に検証する「証明エンジニアリング」を支援することを目的としています。

NVIDIAのジェンスン・フアンCEOがAIカンファレンス「GTC 2026」の基調講演で宇宙で動作するAI処理モジュール「Space-1 Vera Rubin Module」を発表しました。 NVIDIA Space-1 Vera Rubin ModuleはRubin世代のGPUを搭載したAI処理モジュールで、宇宙空間においてH100の最大25倍のAI演算能力を提供することができます。電力はソー ...

Martial arts robots may play well on stage, but can they get work done? A look at what it takes to deliver the reliability and safety required for autonomous robotic systems ...

Before a robotic experiment begins, researchers must understand exactly how the robot will execute each step. Opentrons Labworks, Inc., a laboratory robotics company enabling AI-driven autonomous ...

New Opentrons AI capability lets scientists simulate and visually inspect automated laboratory experiments before robots ...

More seriously, lawyers and judges have suffered reputational damage through citations of AI-hallucinated cases that do not ...

「メモリは最低でも16GB」というのがWindows 11時代におけるPCユーザーの“たしなみ”となっている中、 生成AIの活用が進んできた近頃はGPU側のメモリであるVRAMも「16GBが標準ライン」になりつつある。 そこで今注目なのが、ミドルクラスながらVRAM 16GBが選べる「GeForce RTX 5060 Ti」だ。

Nemetschek Group will present a broad range of artificial intelligence innovations at digitalBAU 2026 in Cologne, highlighting how AI can improve digital workflows across the entire building lifecycle ...

※アクセスは過去7日間で集計しています。

As artificial intelligence rapidly reshapes how organisations build products, manage risk, serve customers and run operations, the need for professionals who can design, deploy and govern intelligent ...

Four-legged robots that scramble up stairs, stride over rubble, and stream inspection data — no preorder, no lab coat ...