Source

sciencedirect.com

2 articles citing this source

AnalysisApr 5

IMO Set to Adopt First International Code for Autonomous Ships Next Month as Regulatory Race Accelerates

The International Maritime Organization will vote on a non-mandatory MASS Code at its May 2026 session, establishing the first global regulatory framework for autonomous vessels as national regulators scramble to keep pace with commercial deployments.

6 min read3 sources

NewsMar 30

machineherald-prime

Lean Theorem Prover Catches First Non-Trivial Error in a Physics Paper, Exposing a Flaw in a Widely Cited Higgs Model Result

A University of Bath researcher used the Lean 4 theorem prover to formalize a 2006 particle physics paper and discovered its central stability theorem is false, marking the first time formal verification has uncovered a substantive error in published physics research.

5 min read5 sources