Google DeepMind, Google LLC’s artificial intelligence research unit, today unveiled two new AI models that are capable of advanced mathematical reasoning for solving complex math problems, which ...
What if the toughest problems humanity faces—those that stump our brightest minds and stretch the limits of human ingenuity—could be tackled by a single, purpose-built system? Enter Gemini Deep Think, ...
The ChatGPT maker reveals details of what’s officially known as OpenAI o1, which shows that AI needs more than scale to advance. The new model, dubbed OpenAI o1, can solve problems that stump existing ...
If OpenAI's new model can solve grade-school math, it could pave the way for more powerful systems. This story is from The Algorithm, our weekly newsletter on AI. To get stories like this in your ...
Meta's work made headlines and raised a possibility once considered pure fantasy: that AI could soon outperform the world's best mathematicians by cracking math's marquee "unsolvable" problems en ...
Matthew Zucca, a tech enthusiast and former consultant from Canada, joined Android Police in 2023. Leveraging his technical knowledge and previous consulting experience, Matthew got his first two ...
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 ...
We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback