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

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

A research team affiliated with UNIST has unveiled a novel AI system capable of grading and providing detailed feedback on ...

Sometimes I forget there's a whole other world out there where AI models aren't just used for basic tasks such as simple research and quick content summaries. Out in the land of bigwigs, they're ...

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...

NVIDIA’s GTC 2025 conference showcased significant advancements in AI reasoning models, emphasizing progress in token inference and agentic capabilities. A central highlight was the unveiling of the ...

A new study digs into why modern AI models stumble over multi-digit multiplication and what kind of training finally makes ...

The internet has had a profound impact on education and how we learn things, a critical complement to any learning environment. Online university classes, massive open online courses (MOOCs), and even ...

French AI lab Mistral is getting into the reasoning AI model game. On Tuesday morning, Mistral announced Magistral, its first family of reasoning models. Like other reasoning models — e.g. OpenAI’s o3 ...

The large language models popularized by chatbots are being taught to alternate reasoning with calls to external tools, such as Wikipedia, to boost their accuracy. The strategy could improve ...