An exclusive conversation with OpenAI’s chief scientist, Jakub Pachocki, about his firm's new grand challenge and the future of AI.

Peter Badge. Mathematics often feels like a collection of isolated islands. Each one operates with its own rules, and building bridges between them is notoriously difficult. Today, the Norwegian ...

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

Abstract: An increasing number of machine learning algorithms are being applied to multi-objective optimization problems (MOPs), yielding promising results. However, many of these algorithms suffer ...

First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising ...

Abstract: Multiobjective combinatorial optimization (MOCO) problems have a wide range of applications in the real world. Recently, learning-based methods have achieved good results in solving MOCO ...