LG CNS, a leading AX (AI Transformation) company in Korea, is set to host the Optimization Grand Challenge 2026 (OGC 2026), a global mathematics optimization competition.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...

What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching numbers but proposing original solutions to problems that have baffled ...

P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...

A line of engineering research seeks to develop computers that can tackle a class of challenges called combinatorial optimization problems. These are common in real-world applications such as ...

The traveling salesman problem is considered a prime example of a combinatorial optimization problem. Now a Berlin team led by theoretical physicist Prof. Dr. Jens Eisert of Freie Universität Berlin ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...