Technology
事前地図もGPSも不要、四足歩行ロボットが変化する建設現場を自律走行
事前地図やGPSに頼らず、変化する建設現場を進む四足歩行ロボットの構成が示された。Boston DynamicsとFieldAIは、Spotの移…
All Articles
Technology
人型ロボットAtlasが生産開始、電池を自動交換して作業を継続
人型ロボットAtlasの生産用モデルは、電池を自動交換して作業を継続し、工場の管理システムとも連携する。Boston Dynamicsは製造を開…
Technology
積み重ねたブランチから層ごとのPRを作るGitHub CLI拡張
積み重ねたブランチごとにPRを作り、直下の層をベースに設定するGitHub CLI拡張「gh stack」が公開された。GitHubは、ブランチ…
Semiconductor
High NA EUV露光を量産品の選択層に適用、累計処理は100万枚超
High NA EUV露光がIntel 18A量産品の選択層へ入り、装置認証、研究開発、量産を通じた累計処理枚数は100万枚を超えた。現行の6イ…
Technology
ツール利用などを支えるエージェント向けCPU「Vera」の出荷開始
ツール利用やコード実行などを支えるエージェント型AI向けCPUが出荷段階に入った。NVIDIAのVera CPUは、GPUや推論アクセラレーター…
AI
家庭内の複数PCにAI推論を振り分けるルーター「PAIR」
独立したAI推論要求を家庭内の複数端末へ振り分けるルーター「PAIR」をNVIDIAが公開した。既存のローカル推論インターフェースを使い、各要求…
AI
AIがフェルマーの最終定理の証明を11日間で形式化、全体を機械検証可能に
フェルマーの最終定理を端から端まで機械検査できるLean形式証明が完成した。Anthropicによると、Claudeを中心とするAIエージェント…
Technology
古いブラウザーの不足機能を補完、対応判定を監視データの送信条件にも利用
古いブラウザーの不足機能をポリフィルで補い、補完後を含む対応状態を判定する。その判定は互換処理に加え、GitHub.comからバックエンド監視へ…