Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...

Margaret H. Hamilton, a profoundly influential computer scientist best known for leading the software engineering team at MIT’s Instrumentation Lab during NASA’s Apollo program, died at age 90.

Agency body that funds sociology, linguistics, and archaeology studies in U.S. gave 90% fewer new grants this year

We asked 100 scientists about unsolved problems in their fields. They sent back provocations — on the origins of life, the possibilities for human progress and much more.

This essay, co-authored by a historian of science and an X-ray crystallographer, sheds new light on Rosalind Franklin’s Photograph 51. We refute the infamous claim that, unlike James Watson, Franklin ...

The OpenAI CEO sought to distinguish his policy stance from rival developer Anthropic.

As a professor at the Ivy League school, Kate Manne has known many, many victims. There’s a palpable feeling on campus, she writes, that this is big.

Emerging infectious disease outbreak risks are ubiquitous worldwide, and highest in landscapes where people, livestock and fragmented natural ecosystems coexist, but detection and data ...

Today, researchers filed a class action lawsuit challenging the National Institutes of Health’s (NIH) policy of blocking grants in order to censor views it disagrees with, on everything from DEI to ge...

UC Berkeley researchers were awarded the 2026 Ig Nobel Prize — a parody Nobel Prize — for research showing that “upper-class” individuals practice more unethical behaviors than “lower-class” individua...

Do you remember this photograph? In the United States, people have taken pains to banish it from the record of September 11, 2001. The story behind it, though, and the search for the man pictured in i...

What To Fear from AI Agents and How to Reclaim Our Human Agency

The battle over Covid’s origins has come for Bob Garry, who’s faced some of the world’s deadliest viral threats.

House Appropriations Committee Ranking Member Rosa DeLauro (D-CT-03) has learned that officials at the Department of Defense (DoD) are working to divert billions of dollars from the National Institute...