A team led by Sogang University's Professor Kim Jong-rak compared the math performance of 10 domestic and foreign AI models, ...

Korean artificial intelligence (AI) models being developed under the government’s bid to assert technological sovereignty ...

A peer-reviewed paper about Chinese startup DeepSeek's models explains their training approach but not how they work through ...

As language models (LMs) improve at tasks like image generation, trivia questions, and simple math, you might think that ...

The mathematical reasoning model performed as well as humans at prestigious international mathematics competitions.

Nous Research's open-source Nomos 1 AI model scored 87/120 on the notoriously difficult Putnam math competition, ranking ...

Chinese startup DeepSeek has developed a new open-weight AI model, Math-V2, capable of generating and self-verifying complex mathematical theorems.

Mathematical reasoning is a fundamental aspect of intelligence, encompassing a spectrum from basic arithmetic to intricate ...

Korea’s leading homegrown AI models fell far short of top overseas rivals like ChatGPT and DeepSeek when tested on college ...

OpenAI Group PBC today launched GPT-5.2, its newest and most capable large language model. The LLM is available in three ...

In the global conversation about modern modeling, digital transformation, and artificial intelligence, many names have become synonymous with groundbreaking advancement. Cynthia Rudin’s research on ...

Machine learning techniques that make use of tensor networks could manipulate data more efficiently and help open the black ...