We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

As artificial intelligence (AI) fuels a global boom in data center construction, one architectural firm is proposing a new hybrid building design that reimagines how energy-hungry data centers can better serve the communities that host them. Designed by U.S.-based architecture firm FORMA, the "Pink Thermal Baths" concept combines a public bathhouse with a data center, using heat generated by computer servers to warm its pools and bathing facilities. The project's website describes it as a new building type that pairs "the leisure activities of a bathhouse with the utilitarian functions of a data center," while keeping the data center itself "fully subterranean and hidden from sight." Read More on Travel Miroslava Brooks, founder partner at FORMA, told Newsweek that waste-heat recovery from data centers already exists, and this project imagines “pushing this logic further architecturally” by combining a data center with compatible public uses such as thermal baths and swimming pools. According to the project’s website, the excess heat from the servers is distributed to the pools, “providing a hot spring-like experience," while the cone-shaped rooms help regulate interior temperatures and create a sense of monumentality. The project is envisioned as “a kind of new hybrid building type,” Brooks said,...

YouTube video by Science & Medicine ANU

Australian National University's leadership approved a controversial $250 million cost-cutting program without a clear understanding of the problem it was trying to solve or the risks involved, a repo...

Academia shapes you slowly and without asking permission. This free reflection tool helps you see how and find your way back to who you were before it did.

An Australian Laureate Fellowship is helping Professor Hrvoje Tkalčić explore the hidden interiors of Earth, the Moon and Mars, to reveal new insights into how planets evolve and what it takes to sust...

In Underworld3, the time derivative is a symbolic object. It appears in the solver's strong form as a SymPy expression, alongside the constitutive stress and the body force.

A constitutive model is a Python class where the relationship between fluxes and gradients is encoded in SymPy. At every stage the mathematics is visible, inspectable, and differentiable. The framewor...

Non-dimensionalisation (rewriting problems to make them re-scalable from lab to the real world) is a specialised task that all modellers confront at some point. It is important for accurate and effici...

A parallel, python, particle-in-cell, finite-element code for Geodynamics Underworld is a python-friendly geodynamics code which provides a programmable and flexible front end to all the functionality...

The aim of underworld3 is to provide strong support to users in developing sophisticated mathematical models, and provide the ability to interrogate those models during development and at run-time. Un...

Underworld3 has about 50,000 lines of Python/ Cython wrapping PETSc, SymPy, and a just-in-time compiler. I began a trial of AI coding tools in 2025 and they have gradually become central to the way ou...

Underworld is a code for geodynamics — mantle convection, lithospheric deformation, subduction, ice flow. We solve coupled, nonlinear PDEs with complex rheologies using Lagrangian particles to track m...

The aim of underworld3 is to provide strong support to users in developing sophisticated mathematical models, and provide the ability to interrogate those models during development and at run-time. Underworld3 encodes the mathematical structure of the equations it solves in symbolic form.

What actually happens between the moment you write a mathematical expression in underworld3's python layer and the moment PETSc receives a finite element term in the form of compiled C code ?

One of the less glamorous but important problems in a finite element framework is this: how does the user assign values to a field variable, and how does the framework ensure that PETSc sees those values correctly, in parallel, without the user needing to keep track themselves?

Five talented researchers from ANU have been recognised by the Australian Academy of Science for advancing scientific research.

Roberts, who introduced the term ‘welcome to country’, held multiple positions across decades in which she promoted Indigenous culture

For most of human history, the night sky has been a shared inheritance, a source of wonder. Now, more than a billion children see barely any stars in the night sky above their homes. So what does that...

She made key contributions to US cold-war science despite facing huge barriers as a Black woman.

As the United States and Russia signal a return to nuclear testing, Australia’s remote monitoring station plays a crucial role in global verification.

Phenomenal drummer and percussionist was an equally accomplished songwriter who embodied the band’s bloody-minded spirit