Mistral released Leanstral 1.5, an open-source AI model that proves mathematical theorems in Lean 4, saturates formal math benchmarks, and catches real bugs in Rust code. The gap between formal methods and practical software engineering is closing.
June 2026 is now the hottest June ever recorded in Luxembourg, narrowly beating 2003 and 2003. It was part of a record-shattering European heatwave linked to over 1,300 excess deaths.
Anthropic announced it is launching its own drug discovery programs for neglected diseases that Big Pharma considers unprofitable. An AI company becoming a pharma company is a strange and interesting pivot.
IMF projects Luxembourg's national debt to rise from 26.5% to 39% of GDP by 2031, breaching Maastricht criteria from 2029.
Thirteen people injured across Luxembourg's roads in a single night, including a six-person collision on the A3 motorway.
The European Stability Mechanism, born from the eurozone crisis, stands ready as Europe's financial safety net with unused credit lines and a new role in defence spending.
Luxembourg decommissions its last EWSD telephone exchange, completing the transition to a fully digital, all-IP network.
Three days of free open-air music in Luxembourg City's municipal park. DJs on Friday, philharmonic on Saturday, singer-songwriters on Sunday.