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

Alan Veliz-Cuba has received funding from the Simons Foundation and the American Mathematical Society for some of his research. You can probably think of a time when you’ve used math to solve an ...

Google LLC’s DeepMind artificial intelligence research unit claims to have cracked an unsolvable math problem using a large language model-based chatbot equipped with a fact-checker to filter out ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Follow Alistair Barr Every time Alistair publishes a story, you’ll get an alert straight to your inbox ...

Mark Zuckerberg during an interview at Meta headquarters in Menlo Park, California.. Photo: Getty Images Meta Platforms released the biggest version of its mostly free Llama 3 artificial intelligence ...

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

Five Buchholz High School students came together to participate in a mathematics competition and their team has been chosen as a top winner out of over 600 submissions. The group of local students — ...