The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

ZeroTier reports that enterprise networks should prepare for post-quantum cryptography to adapt and protect against future ...

When Priyanka Sharma talks about technology, she does not start with platforms or programming languages. She starts with ...

Mathematicians are threatening to boycott the field’s largest, most prestigious gathering this summer if it takes place in the U.S., as currently planned. Every four years since the turn of the ...

A new era in mathematics may be on the horizon—one that some researchers have long desired. Mathematicians could soon use computers to verify proofs quickly and rigorously, ensuring published proofs ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

A recipient of his profession’s prestigious Fields Medal, he devised an algorithm that helps solve mathematical “singularities.” It now permeates the field. By Kenneth Chang Heisuke Hironaka, an ...

David E. Dunning explores how mathematical notation is a social, world-building technology. It’s natural to think of math as being fundamentally abstract. Whether it’s invented or discovered, its ...

Gerd Faltings has won the 2026 Abel Prize, considered the Nobel prize of mathematics, for a groundbreaking proof which took mathematics by storm in 1983. His contributions helped establish one of the ...

Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry. By Kenneth Chang A German mathematician, Gerd Faltings, is this year’s winner ...

Number theorist Gerd Faltings has won this year’s Abel Prize, one of the most prestigious awards in mathematics, the Norwegian Academy of Science and Letters in Oslo announced on 19 March. Faltings, ...

Have you ever received an email and had a sneaking suspicion it was written by AI, rather than lovingly handcrafted? Mathematicians have been wrestling with similar feelings for half a century, and ...