Mathematicians Embrace AI to Formalize Proofs

Science News explores the behind-the-scenes work of creating constructed languages and cataloging a vast museum collection.

Apr. 18, 2026 at 11:00am

Got story updates? Submit your updates here. ›

A bold, abstract painting in soft colors featuring sweeping geometric arcs, concentric circles, and precise botanical spirals, conveying the structural order of the scientific universe.Science News explores the hidden work behind major discoveries, from the creation of constructed languages to the cataloging of natural history specimens.Phoenix Today

The May issue of Science News explores the fascinating world of constructed languages, the use of AI to assist mathematicians in formalizing proofs, and a rare look inside the Smithsonian's massive natural history collection.

Why it matters

This issue of Science News provides a unique glimpse into the painstaking work that underpins major scientific discoveries and breakthroughs, from the creation of fictional languages for blockbuster films to the cataloging of millions of natural history specimens.

The details

The issue features a report on how mathematicians are using computers and AI tools to 'formalize' proofs, creating a digital library of all mathematics. It also explores the intricate process of developing constructed languages, or 'conlangs,' for films like Avatar, and how these artificial languages are studied by scientists to understand language processing in the brain. Additionally, the magazine offers a rare behind-the-scenes look at the Smithsonian's National Museum of Natural History's massive collection of 148 million scientific specimens.

  • The Regeneron International Science and Engineering Fair takes place May 9–15 in Phoenix.
  • The May issue of Science News is distributed to over 1,600 high school students competing in the fair.

The players

Nancy Shute

Editor in chief of Science News.

Stephen Ornes

Freelance writer who reported on mathematicians using computers to formalize proofs.

Maria Temming

Assistant managing editor of Science News Explores, who explored the creation of constructed languages.

Meghan Rosen

Senior writer at Science News who visited the Smithsonian's natural history collection.

Stephen Voss

Freelance photographer who accompanied Meghan Rosen to the Smithsonian's natural history collection.

Got photos? Submit your photos here. ›

What they’re saying

“We most often cover science when there's a big 'aha!' moment. But the work leading up to that moment is just as important.”

— Nancy Shute, Editor in chief, Science News

What’s next

Science News editors will be at the Regeneron International Science and Engineering Fair in Phoenix to talk science and science journalism with students and teachers.

The takeaway

This issue of Science News provides a unique behind-the-scenes look at the painstaking work that underpins major scientific discoveries, from the creation of fictional languages to the cataloging of natural history specimens. It highlights the importance of the often-unseen efforts that enable scientific breakthroughs.