The Langlands program, initiated by Canadian mathematician Robert Langlands in 1967, seeks to discover deep connections between disparate areas of mathematics, such as number theory and harmonic analysis, through correspondences that reveal unexpected symmetries. Often called a "grand unified theory of mathematics," the program has engaged hundreds of mathematicians for decades, though even most experts struggle to articulate its core meaning and significance.
BEACON is a GPU-based search for large prime gaps that discovered a record-breaking gap of 59,724 with merit 42.5192, surpassing the previous record of 41.9388 from 2017. The search used four RTX 5090 GPUs and a sophisticated algorithm combining sieving, prediction, and symmetric testing to identify twenty-two gaps that entered the Prime Gap List in September 2026.
Lean Golf is a code golf competition where participants prove mathematical theorems using the Lean proof assistant. The course contains problems of varying difficulty, from medium challenges involving combinatorics and number theory to hard problems about the Fibonacci sequence and the Jacobian conjecture.