Maths Modelling - Search News

OpenAI’s Astra model solved 10 open math problems

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math

OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances in mathematics and theoretical computer science.” The math results the post is touting,

NextBigFuture · 2d

OpenAI Next Major Model Astra Solves Major Math Problems

· 9h · on MSN

OpenAI Says Its Next AI Model Solved 10 Long-Standing Math Problems

13d

A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

VentureBeat

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

Some results have been hidden because they may be inaccessible to you

Show inaccessible results

OpenAI’s Astra model solved 10 open math problems

A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

Trending now