Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

DeepSeek V4 architecture uses sparse attention to cut inference costs 73% at one-million-token contexts, but a NIST ...

One of the most hilarious things you can do with an LLM-based chatbot is to ask it to do calculations. If it’s a well-written ...

The quest to approximate irrational numbers with fractions reveals hidden patterns, surprising hierarchies and enduring mathematical mysteries ...

The mathematics community is right to call for transparency, integrity and fairness to be protected when AI tools are used.

Tensordyne says logarithmic computing could reduce AI inference costs and power demands, offering an alternative to conventional chip designs.

Last month many mathematicians were shocked by OpenAI’s announcement that artificial intelligence had solved geometry’s famous “unit distance” problem. For some, the achievement was exciting. But ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

Zach began writing for CNET in November, 2021 after writing for a broadcast news station in his hometown, Cincinnati, for five years. You can usually find him reading and drinking coffee or watching a ...

Nothing rivals the human brain's complexity. Its 86 billion neurons and 85 billion other cells make an estimated 100 trillion connections. If the brain were a computer, it would perform an exaflop (a ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...