Grab a ruler, crunch the length-to-height ratios, and use the Fibonacci sequence to test whether this famous spiral is truly ...

On September 11, 2026, the joint declaration "A Severe Misalignment of AI in Mathematics" was published. The initial signatories included Terence Tao, Shigefumi Mori, and 23 others, all of whom are ...

Can implicit bias tests predict how people actually behave? A new adversarial collaboration finds that while indirect tests capture a tiny fraction of hidden bias, traditional self-report surveys are ...

Moser’s circle problem can be used to divide a pizza into one, two, four, eight, 16 or 31 slices. It’s a perfect example of ...

Create an account to access more content and features on IEEE Spectrum, including the ability to save articles to read later, download Spectrum Collections, and participate in conversations with ...

Historically, mathematical proofs have been written and evaluated by humans, but in principle they could be formalized and verified by a computer program, essentially eliminating doubts about ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

We show that reinforcement learning with verifiable reward using one training example (1-shot RLVR) is effective in incentivizing the mathematical reasoning capabilities of large language models (LLMs ...

NEW YORK, September 03, 2025--(BUSINESS WIRE)--Rogo Technologies, Inc., the leading AI platform for investment banks, today announced the acquisition of Subset, an AI spreadsheet company backed by ...

A student takes a math class to study for the STAAR state standardized tests in this archive photo. Ron Jenkins Star-Telegram file photo Are you an accountant who plugs functions into spreadsheets to ...