Gemini

Source

Google DeepMind, a British-American AI research lab, has achieved a “silver-level standard” in advanced mathematics. Its AlphaProof and AlphaGeometry 2 systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO). 
The IMO is a prestigious global mathematics competition, known for its challenging problems. <a href="https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/" target="_blank" rel="noreferrer noopener nofollow">Achieving silver-level status</a> in this competition highlights the advanced capabilities of these AI systems in solving complex reasoning and geometry problems. 
<div class="wp-block-image"> 
 <figure class="aligncenter size-full">
 <img decoding="async" width="534" height="206" src="https://www.cryptotimes.io/wp-content/uploads/2024/07/Google-DeepMinds-AI-Systems-Excel-in-Advanced-Math-Problems.png" alt="Google DeepMind's AI Systems Excel in Advanced Math Problems" class="wp-image-192505">
 <figcaption class="wp-element-caption">
 Source: <a href="https://x.com/GoogleDeepMind/status/1816498082860667086" target="_blank" rel="noreferrer noopener nofollow">Google DeepMind</a>
 </figcaption>
 </figure>
</div> 
AlphaProof, a reinforcement learning-based system, and AlphaGeometry 2, an enhanced version of a geometry-solving model, demonstrated remarkable performance.&nbsp; 
AlphaProof combines elements from AlphaGo and AlphaZero and is trained using the formal programming language Lean. AlphaGeometry 2 is a neuro-symbolic hybrid system built on Google’s Gemini AI model, improving its geometry problem-solving skills. 
The IMO, held annually since 1959, serves as a key benchmark for AI’s mathematical reasoning. Google’s recent achievement highlights its significant progress in AI research amid Alphabet’s $2.3 billion Q2 loss due to heavy investment in AI development. 
In related news, OpenAI is advancing AI capabilities with its new project, “Strawberry,” which aims to enhance reasoning and deep internet research, as reported by Reuters on July 15. On July 25, OpenAI <a href="https://www.cryptotimes.io/2024/07/26/openais-searchgpt-challenges-googles-search-dominance/" target="_blank" rel="noreferrer noopener">launched SearchGPT</a>, an AI-powered search engine prototype. 
Google DeepMind’s achievement of a “silver-level standard” in advanced mathematics underscores the impressive capabilities of its AI systems, AlphaProof and AlphaGeometry 2. This milestone demonstrates significant progress in AI’s ability to tackle complex reasoning and geometry challenges.

Google DeepMind’s AI Hits Silver-Level in Math Olympiad

The Crypto Times

发布于 2024年7月26日的其他文章

Cardano CEO Charles Hoskinson Says Next Wave Blockchain Projects Will Elevate Identity, Privacy, ...

Top Analyst Predicts Bitcoin’s (BTC) Path, Calls Cardano’s (ADA) Price Chart ‘Frustrating’

dYdX Post-Mortem Reveals Two Users Lost $31K in DNS Hijack

Elon Musk’s X removes crypto emojis, leaving community puzzled

Bitcoin ETFs In Japan: Franklin Templeton Partners With SBI Holdings To Launch Digital Asset Mana...

LSK Price Rises After Supply Reduction

订阅我们免费的电子期刊，获取每日最新加密领域动态！