VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using ...

Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

This year’s Abel Prize, an annual lifetime achievement award for mathematics that is bestowed by the Norwegian Academy of ...

Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

Gerd Faltings, a number theorist at the Max Planck Institute for Mathematics in Bonn, Germany, has won the 2026 Abel Prize, ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

A federal judge on Friday barred several government agencies from complying with an executive order from President Trump that sought to make major changes to the federal elections process. In her ...

The day when quantum computers will be able to break conventional encryption is rapidly approaching, but not all companies are prepared to implement post-quantum cryptography. Quantum-safe encryption ...

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they perform. By Siobhan Roberts A few weeks ago, a high school student emailed Martin ...

Abstract: A new proof of the direct part of the quantum channel coding theorem is shown based on a standpoint of quantum hypothesis testing. A packing procedure of ...

We present Prover Agent, a novel AI agent for automated theorem proving that integrates large language models (LLMs) with a formal proof assistant, Lean. Prover Agent coordinates an informal reasoning ...

Abstract: Presented here is an intuitive method for synthesizing the binomial multisection quarter-wave transformer. I discovered this method while teaching an undergraduate course in microwave ...