2026-07-04

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.<br /> The article Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code appeared first on The Decoder. [...]

2026-07-04

How to watch Australia vs Ireland: FREE streams, TV channels for Nations Championship 2026 game

All the ways to watch Australia vs Ireland live streams – including for FREE – for the Nations Championship 2026 game at Sydney Football Stadium. [...]

2026-07-04

‘You fix it by making the secure option just as fast and frictionless as the risky one’: Practical advice on addressing shadow AI

Workers clearly have an appetite for AI but personal accounts are still being used – approved tools need to be easy to reach and use. [...]

2026-07-04

American soccer fans turn to VPNs to dodge the World Cup's hydration break ads

Americans hate hydration break ads and are massively turning to VPNs to avoid them, says Planet VPN. [...]

2026-07-04

Anthropic launches its own drug discovery programs to tackle diseases Big Pharma considers unprofitable

Anthropic is launching its own drug development program for neglected diseases that the pharmaceutical industry considers unprofitable. Novartis CEO Vas Narasimhan thinks AI could cut development time from twelve years to seven or eight and double the success rate from 8 to 16 percent.<br /> The article Anthropic launches its own drug discovery programs to tackle diseases Big Pharma consider [...]

2026-07-04

Scientists Have Identified a New Fossil Species of Axolotl in Mexico

Ambystoma quetzalcoatli is the first fossil salamander to be formally identified in Mexico, revealing that axolotls have inhabited the country for millions of years. [...]

2026-07-04

'It's a product that doesn't scream for attention, but captures it anyway': designer Carlo Borromeo on his new minimalist Smeg appliances — and why stripping away the color is the brand’s boldest design experiment yet

BorromeodeSilva brought the world the denim-coated Smeg fridge in 2012, but the studio's latest partnership was a totally different challenge. [...]

2026-07-04

Wearable tech used to be cool, but it is slowly becoming a symbol of surveillance capitalism dreck — here's how to save it

As a wearables editor, I can see the signs of body-worn smart tech becoming uncool. [...]

2026-07-04

ICYMI: The week's 7 biggest tech news stories from PlayStation killing physical games to Anthropic finally re-releasing Fable 5

As the USA turns 250, here's the week's biggest tech news stories from PlayStation, Valve, Garmin, WhatsApp and more. [...]