Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

If you're struggling with math, these best math AI tools can help you solve those complex problems and equations with ease.

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

They found that students assigned to teachers who used more mathematical vocabulary in their lessons made greater progress ...

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

Artificial intelligence systems can write software and reason through complex problems. Yet even basic arithmetic can expose surprising weaknesses. A new study digs into why modern AI models stumble ...

I like the MacBook Pro’s Touch Bar, Apple’s baby step toward a touchscreen Mac that may never happen. It can be helpful (scrolling through a filmstrip of photo thumbnails) and fun (playing Pac-Man).

Since the launch of the Crossword in 1942, The Times has captivated solvers by providing engaging word and logic games. In 2014, we introduced the Mini Crossword — followed by Spelling Bee, Letter ...