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

China didn’t clamp down on OpenClaw agents for no reason. It’s clear that Agentic AI let loose on computer systems can wreak havoc. Businesses need architectural safeguards before they adopt they put ...

メシウス株式会社は、ドキュメントを生成・更新する開発支援APIライブラリ「DioDocs（ディオドック）」の新版「V9J」を3月27日より提供開始すると発表した。 DioDocsは、Microsoft ExcelやAdobe ...

A investigation by The Jerusalem Post, reveals over 78,000 citations to IRGC-linked media on Wikipedia, exposing vulnerabilities to state-sponsored influence and manipulation of narratives.

Infosecurity spoke to several experts to explore what CISOs should do to contain the viral AI agent tool’s security vulnerabilities ...

OpenPBR BSDF reference implementation for Substance is public as a small library with prepare, sample, eval, pdf API and multi-target compilation.

When enterprise commerce organizations lose market share, or their innovation velocity drops, there’s no shortage of suspects to blame: too few ideas from the ...

Attackers are using fake Claude Code install pages and malicious search ads to spread infostealer malware targeting Windows and macOS systems.

ESET researchers document how the Sednit APT group has reemerged with a modern toolkit centered on two paired implants – BeardShell and Covenant.

オープンソースソフトウェアの世界ではライセンスによってソースコードの再利用や改変の条件が定められていますが、AIによってオープンソースコードを元にした再実装が容易になり、ライセンスの義務を回避できてしまう可能性があります。こうした問題について、オープンソース開発者のホン・ミンヒ氏が「合法であることと正当であることは同じなのか？」と題して、AIがオープンソースの理念をどのように揺るがしているのかを解 ...

Autonomous coding agents have evolved from novelty to practical collaborators. Given a prompt like “build a service that ...

Hackers are increasingly exploiting newly disclosed vulnerabilities in third-party software to gain initial access to cloud environments, with the window for attacks shrinking from weeks to just days.