Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical ...

Demis Hassabis, co-founder and CEO of Google DeepMind, has identified three specific areas where even the most advanced AI systems still fall short of human cognition. His remarks, delivered as a ...

The Mittsure Olympiad Masters (MOM 2025) concluded this year with remarkable success, reaching over 2000 schools and conducting more than 4000 exams nationwide. More than one lakh students engaged in ...

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

Artificial intelligence is no longer limited to answering questions or gathering images. Nowadays, the systems can solve ...

UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.

Google has officially unveiled a major upgrade to Gemini 3 Deep Think, its most sophisticated reasoning model designed to push the boundaries of intelligence in science, research, and engineering.

DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

The Silverzone Olympiad Level 2 results for iOM, iOS, and iOEL 2025-26 are expected by March-April 2026 on its official website. Check the article for more details.