DeepMind AI Reaches Silver-Medal Level in International Mathematical Olympiad

Google DeepMind AI models achieved a silver-medal standard in the International Mathematical Olympiad, solving four out of six problems, showcasing advanced mathematical reasoning capabilities.

Google DeepMind has announced that its artificial intelligence models have reached a “silver-level standard” in complex mathematics, after solving four out of six problems in this year’s International Mathematical Olympiad (IMO) — one of the toughest mathematics competitions in the world.

On July 25, Google DeepMind revealed breakthroughs in solving advanced reasoning problems in mathematics with its AI systems AlphaProof and AlphaGeometry 2. Mathematics has been deemed a crucial benchmark for AI development due to its requirement for intuitive, creative problem-solving and sophisticated reasoning skills.

AlphaProof is a new reinforcement learning-based system for formal math reasoning, and AlphaGeometry 2 is an improved version of a geometry-solving system. These two systems managed to solve four out of six problems from this year’s IMO, “achieving the same level as a silver medalist in the competition for the first time,” according to DeepMind.

The IMO is the oldest, largest, and most prestigious competition for young mathematicians, held annually since 1959. This year’s UK-based event saw participation from more than a hundred countries. Google explained that the Olympiad has become widely recognized as a “grand challenge in machine learning and an aspirational benchmark for measuring an AI system’s advanced mathematical reasoning capabilities.”

IMO gold medalist Professor Sir Timothy Gowers commented, “The fact that the program can come up with a non-obvious construction like this is very impressive and well beyond what I thought was state of the art.”

Google previously dabbled in mathematical AI models with a system called AlphaGo, which learned to play the board game Go and defeated the legendary Go player Lee Sedol in 2016. Researchers have now combined AlphaGo’s successor, AlphaZero, with pre-trained language models to create AlphaProof, which trains by solving millions of problems translated into the formal programming language “Lean.”

Meanwhile, AlphaGeometry 2 is a neuro-symbolic hybrid system based on Google’s Gemini AI model, with improved capabilities in geometry problem-solving. The company stated that its AI teams are “continuing to explore multiple AI approaches for advancing mathematical reasoning and plan to release more technical details on AlphaProof soon.”

According to a Q2 earnings filing from Google parent Alphabet, spending on AI-related research at DeepMind has been significant. “Alphabet-level activities” loss, primarily caused by money spent on AI research and development, reached $2.3 billion for Q2, almost double that of the same period last year.

Meanwhile, AI competition has continued to heat up. According to a July 15 Reuters report, ChatGPT maker OpenAI is working on a novel approach to its AI models in a project code-named “Strawberry,” designed to dramatically improve AI reasoning capabilities and enable autonomous deep internet research. Additionally, on July 25, OpenAI announced the launch of an AI-powered search engine prototype called SearchGPT.

On July 23, Meta CEO Mark Zuckerberg announced the firm’s latest model, Llama 3.1, taking steps toward making open-source AI the industry standard.

Our creator. creates amazing NFT collections! 
Support the editors - Bitcoin_Man (ETH) / Bitcoin_Man (TON)

Pi Network (Guide)is a new digital currency developed by Stanford PhDs with over 55 million participants worldwide. To get your Pi, follow this link https://minepi.com/Tsybko and use my username (Tsybko) as the invite code.

Binance: Use this link to sign up and get $100 free and 10% off your first months Binance Futures fees (Terms and Conditions).

Bitget: Use this link Use the Rewards Center and win up to 5027 USDT!(Review)

Bybit: Use this link (all possible discounts on commissions and bonuses up to $30,030 included) If you register through the application, then at the time of registration simply enter in the reference: WB8XZ4 - (manual)