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

ARC AGI 3 shows the AGI gap clearly: humans reach 100% accuracy while models like CjatGPT 5.4 and Gemini 3.1 Pro score under ...

Google's (NASDAQ:GOOG)(NASDAQ:GOOGL) artificial intelligence models have reached new heights after achieving silver-medal standards through solving International Mathematical Olympiad, or IMO, ...

On May 13th OpenAI unveiled its latest model, GPT-4o. Mira Murati, the company’s chief technology officer, called it the “future of interaction between ourselves and the machines”, because users will ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now The end of the year 2024 has brought ...

Meta has released a new collection of AI models, Llama 4, in its Llama family — on a Saturday, no less. There are three new models in total: Llama 4 Scout, Llama 4 Maverick, and Llama 4 Behemoth. All ...

OpenAI and Meta are close to unveiling AI models that can reason and plan, the FT reported. An OpenAI exec told the FT that the next version of GPT would show progress with "hard problems." Some ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new problems. The gap between polished performance on familiar benchmarks and ...

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