24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...

MathGPT is one of those tools every student (who studies any math course) should try at least once. It offers one of ...

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. When you purchase through links ...

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...

Artificial intelligence can write a résumé, answer medical questions, and even have philosophical conversations. But one task it’s not always so good at is solving math problems—and that poses a ...

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

Driven by new technology called OpenAI o1, the chatbot can test various strategies and try to identify mistakes as it tackles complex tasks. By Cade Metz Reporting from San Francisco Online chatbots ...

Working memory is like a mental chalkboard we use to store temporary information while executing other tasks. Scientists worked with more than 200 elementary students to test their working memory, ...