Teachers can use these tools to promote discussions and help students move from concrete to abstract understanding of concepts.

New calorie-tracking apps with A.I. promise better accuracy. But researchers who study calories say that there’s a better, ...

We need to better understand how LLMs address moral questions if we're to trust them with more important tasks.

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.

Mathematicians from the California Institute of Technology have solved an old problem related to a mathematical process ...

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.

If you're looking for a way to make your next get-together with family and friends more fun, engaging and even educational, ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

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

AlphaEvolve, an AI that “evolves” code solutions, rediscovered and improved proofs for the finite-field Kakeya conjecture. Gemini Deep Think verified the logic, and AlphaProof formalized the ...