Will it be possible in future to prepare proofs developed in cutting-edge mathematical research with a reasonable amount of human effort so that they can be verified by computers in real time? Prof. Dr. Christoph Thiele and Prof. Dr. Floris van Doorn from the Hausdorff Center for Mathematics (HCM), a Cluster of Excellence at the University of Bonn, want to help make this possible. The two researchers submitted a joint application for a coveted Synergy Grant from the European Research Council (ERC). Following the award of the grant, the European Union will now provide total funding of 6.4 million euros to the “Harmonic Analysis with Lean Formalization” (HALF) project over the next six years. Lean is a relatively new programming language that is increasingly establishing itself as the standard for mathematical formalization. 

The American Physical Society (APS) – the world’s largest organization of physicists – has awarded the 2026 Aneesur Rahman Prize for Computational Physics to Stefano Baroni, Professor of Condensed Matter Physics at the Scuola Internazionale Superiore di Studi Avanzati (SISSA) and research associate at the Consiglio Nazionale delle Ricerche – Istituto Officina dei Materiali (CNR–IOM). The prize is regarded as the most prestigious international recognition in the field, awarded for outstanding achievements in computational physics.

The official citation recognizes his “seminal contributions to the development of first-principles methods for studying the electronic and thermal properties of condensed systems, and for the development and dissemination of open-source software for electronic-structure calculations, now widely adopted.”

Two formulations are at the heart of the study of turbulence: Kolmogorov’s universal framework for small-scale turbulence, which describes how energy propagates and dissipates through increasingly small eddies; and Taylor-Couette (TC) flows, which are very simple to create yet exhibit extremely complex behaviors, thereby setting the benchmark for the study of the fundamental characteristics of complex flows.

For the past many decades, a central contradiction between these potent formulations has plagued the field. Despite extensive experimental research and despite being found universal to almost all turbulent flows, Kolmogorov’s framework has apparently failed to apply to turbulent TC flows.

But now, after nine years developing a world-class TC setup at the Okinawa Institute of Science and Technology (OIST), researchers have finally resolved this tension by conclusively demonstrating that, contrary to the prevailing understanding, Kolmogorov’s framework does apply universally to the small scales of turbulent TC flows – precisely as predicted. 

The University of Houston has been redesignated by the National Security Agency (NSA) as a Center for Academic Excellence in Cyber Research (CAE-R) through 2029, reaffirming UH’s national leadership in advancing cybersecurity innovation, education and workforce development to help protect America’s critical infrastructure.

Using tools from network science, researchers built a statistical model that observed how senators and congresspeople interacted with one another on X, formerly known as Twitter, which deduced their positions and potential ambitions.