The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

A marriage of formal methods and LLMs seeks to harness the strengths of both.

A lighthearted example showing how men naturally step in to solve problems. Why 7 GOP senators voted against bill to keep government open past Friday US health officials monitor deadly virus Rob ...

The NFL has a catch rule problem. And, as it does with plenty of other issues, the NFL seems to be content to ignore it. Or to claim that there’s no problem at all. Via Mark Maske of the Washington ...

The “4% rule” isn’t one rule — fixed percentage, fixed dollar, and inflation-adjusted withdrawals behave very differently in real markets. Ramsey’s 8% claim assumes flexible spending, not ...

Amateur mathematicians are using artificial intelligence chatbots to solve long-standing problems, in a move that has taken professionals by surprise. While the problems in question aren’t the most ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

The video follows a complete rethink of a dessert known for disappointing expectations. Each step builds tension as familiar assumptions are challenged one by one. Visuals focus on texture, balance, ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

eSpeaks’ Corey Noles talks with Rob Israch, President of Tipalti, about what it means to lead with Global-First Finance and how companies can build scalable, compliant operations in an increasingly ...

Chinese artificial intelligence company DeepSeek has released a mathematical reasoning model that can identify and correct its own errors. The model beat the best human score in one of the world’s ...