TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...

The 2026 Fields Medal winners have been announced, with China's Yu Deng making history as the country's first recipient. Here's who won, why the award matters, and what the four mathematicians ...

The International Mathematical Union awarded the 2026 Fields Medal to four mathematicians on Thursday, three of whom are ...

Jacob Tsimerman, a professor and graduate of the school, took home the Fields Medal, seen as math’s version of a Nobel.

Yu Deng has become China's first Fields Medal winner, earning mathematics' highest honour for young researchers after solving ...

University of Toronto math professor Jacob Tsimerman has won the Fields Medal, the top global honour in mathematics.

The prestigious medal is awarded every four years by the International Mathematical Union to researchers under 40 years old for “outstanding mathematical achievement” and future promise.

Four mathematicians received the Fields Medal on July 23, two of them raised in China, a first in the prize's history.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

nHash is a highly optimized, fully modular, and premium command-line utility designed for software engineers, security professionals, and power users. Built from the ground up to be 100% Native AOT ...

The trick presents itself as mind reading — "I know which cartoon character you'll pick and I know your mom's name" — but what it actually demonstrates is a classic mathematical forcing technique that ...