German Mathematician Wins Abel Prize for Number Theory Work

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

The race to solve the biggest problem in quantum computing

The errors that quantum computers make are holding the technology back. But recent progress in quantum error correction has ...
Morning Overview on MSN

AI is changing how mathematicians solve problems and write proofs

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Student serves up fresh solutions to the pancake problem

David Cutler is in the spotlight for his work on a tasty-sounding mathematics problem. In January, the New York Times featured a research paper authored by Cutler and Neil Sloane, the founder of The ...
IEEE

A Computationally Efficient Method for Solving Mixed-Integer AC Optimal Power Flow Problems

Abstract: Stepwise controllable devices, such as switched capacitors or stepwise controllable loads and generators, transform the nonconvex AC optimal power flow (AC-OPF) problem into a nonconvex ...
IEEE

An Efficient Method for Solving the Traveling Salesman Problem Using Modern Optimization Algorithms

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...