Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

I have a confession that probably won't surprise anyone who knows me well: I love reading books about mathematicians. Not because I understand the dense mathematics. I struggled through four semesters ...

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 ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

Recent advances in Vision Language Models (VLMs) have shown significant progress in mathematical reasoning, yet they still face a critical bottleneck with problems that require visual assistance, such ...

On the afternoon of September 30, 1906, a crowd of 200,000 Parisians congregated near the city’s center to watch the premiere of what would become the world’s most prestigious gas balloon race.

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? A 125-page proof posted to arXiv may represent a huge breakthrough in geometric ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

Generative AI is the hot new technology behind chatbots and image generators. But how hot is it making the planet? As an AI researcher, I often worry about the energy costs of building artificial ...