Axiom Math, a Palo Alto startup, has launched a free AI tool for mathematicians called Axplorer, aimed at uncovering patterns that may help solve long-standing mathematical problems. Axplorer is a revamped version of PatternBoost, a system François Charton co-developed in 2024 while at Meta. PatternBoost required a supercomputer, but Axplorer is designed to run on […]

The UK and US are seeking technologies to defend ships, harbors, and other critical maritime infrastructure against the growing threat of underwater drones, and they are inviting industry to propose solutions. The request comes as the US deploys uncrewed drone boats near Iran amid rising tensions. Iran is also believed to be behind at least […]