Skip to content

ϟ HEADLINESSupervolcanoes: what monitoring signals can predictA Luxembourg magazine Nov 11, 2026

EXPLORE LETZVIEW

Looking for something?

A place, an idea, a question. Find the articles that interest you.

ExploreLuxembourg transport culture health jobs

Articles to discover

Laptop screen displaying computer code

AI · Nov 10, 2026Signal: what AI has really proved about its codeGoogle DeepMind says it used AlphaProof Code to prove certain properties of Signal’s compiled code. The result sheds light on AI’s potential, but also on the precise limits of formal proof.

Three people discuss in front of a mathematical blackboard, illustrative photograph.

AI · Nov 1, 2026OpenAI and Yang–Mills: understanding the announcement without confusing the evidenceOpenAI claims to have proved existence in quantum physics. The Yang–Mills problem also requires a mass gap: here are the key distinctions for understanding the announcement.

Blackboard covered in scientific formulae in chalk; illustrative photograph.

AI · Nov 1, 2026AI and scientific evidence: what Lean checks, and what still needs examiningOpenAI’s announcements have revived the question of evidence produced by AI. The logical core, assumptions and results of AlphaProof: key points for assessing them.

Container ship in the evening light

International · Oct 1, 2026Around Hormuz, trade seeks alternative routesThe WTO lists connections combining ships, roads and rail. These solutions shed light on how trade flows are being reorganised, without guaranteeing stable delivery times or prices.