Sandia Labs makes award-winning AI software available for licensing

The software won an R&D 100 Award in 2023. Researchers have had conversations with about 120 potential customers to guide ...
winbuzzer.com

Mistral Releases Leanstral 1.5 for Math Proof Engineering with Lean

Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...

Overland AI lands Marine Corps deal worth nearly $20M to build self-driving military vehicles

Seattle-based Overland AI won a Marine Corps contract to produce more than a dozen autonomous ground vehicles, which the ...
IEEE

Machine-Learning-Assisted Optimization for Antenna Geometry Design

Abstract: A machine-learning-assisted optimization (MLAO) method for antenna geometry design (AGD) (MLAO-AGD) is proposed. By combining machine learning (ML) methods, including a convolutional neural ...
Unite.AI

KELA’s 2026 Mid-Year AI Threat Landscape Report: AI Is Becoming Both the Weapon and the Target

Artificial intelligence is no longer simply helping cybercriminals work faster—it is increasingly becoming an active ...
MIT Technology Review

Teaching AI to run with the turbines

As energy companies push AI deeper into industrial operations, success increasingly depends on governance, trusted data, and ...
MIT Technology Review

Building the foundation for an autonomous enterprise

As energy companies push AI deeper into industrial operations, success increasingly depends on governance, trusted data, and ...