Gemini

Google AI

Google DeepMind says its artificial intelligence models are now at a “silver-level standard” in complex mathematics, after solving four out of six problems of this year’s International Mathematical Olympiad — one of the toughest mathematics competitions in the world.&nbsp;
On July 25, Google <a href="https://cointelegraph.com/news/deep-mind-ceo-google-microsoft-openai-artificial-general-intelligence-ai">DeepMind</a> stated it had achieved breakthroughs in solving advanced reasoning problems in mathematics for AlphaProof and AlphaGeometry 2.
Mathematics has been deemed a crucial benchmark for AI development. Complex maths such as geometry requires intuitive and creative problem-solving and sophisticated reasoning skills.&nbsp;
AlphaProof is a new reinforcement learning-based system for formal math reasoning, and AlphaGeometry 2 is an improved version of a geometry-solving system.
The two systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), “achieving the same level as a silver medalist in the competition for the first time,” the firm <a href="https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/" target="_blank" rel="noopener nofollow">stated</a>.
The IMO is the oldest, largest, and most prestigious competition for young mathematicians. It has been held annually since 1959, and this year’s UK-based event saw more than a hundred countries participate. 
Google explained the Olympiad has become widely recognized as a “grand challenge in machine learning and an aspirational benchmark for measuring an <a href="https://cointelegraph.com/explained/the-eus-artificial-intelligence-act-explained">AI system’s</a> advanced mathematical reasoning capabilities.” 
<figure>
 <img src="https://s3.cointelegraph.com/uploads/2024-07/45987c89-0deb-4ca6-b244-2dd6d85f8bc2.jpg" alt="DeepMind AI hits silver-medal standard in International Mathematical Olympiad">
 <figcaption style="text-align: center;">
 Google AI performance compared to human scores. Source: Google
 </figcaption>
</figure>
IMO gold medalist Professor Sir Timothy Gowers commented: 
<blockquote data-ct-non-breakable="true">
 “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.”
</blockquote>
Google previously dabbled in mathematical AI models with a system called AlphaGo that learned to play the board game Go and defeated the legendary Go player Lee Sedol in 2016.
Researchers have now combined the successor to AlphaGo, known as AlphaZero, with&nbsp;pre-trained language models to make&nbsp;AlphaProof. It trains by&nbsp;solving millions of problems translated into the formal programming language “Lean.”
Meanwhile, AlphaGeometry 2 is a neuro-symbolic hybrid system based on Google’s <a href="https://cointelegraph.com/news/how-to-try-google-new-ai-model-gemini-chatbot">Gemini AI</a> 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 <a href="https://cointelegraph.com/news/google-parent-alphabet-profit-up-28-percent-amid-ai-splurge">earnings filing</a> from Google parent Alphabet, there has been a lot of spending on AI-related research at DeepMind. “Alphabet-level activities” loss, which caused by primarily by money spent on AI research and development, reached $2.3 billion for Q2, almost double that of the same period last year. 
Related: <a href="https://cointelegraph.com/news/four-things-google-gemini-users-can-do-soon">4 things Google Gemini users will be able to do soon</a>
Meanwhile, AI competition has continued to heat up.
According to a July 15 Reuters <a href="https://www.reuters.com/technology/artificial-intelligence/openai-working-new-reasoning-technology-under-code-name-strawberry-2024-07-12/" target="_blank" rel="noopener nofollow">report</a>, <a href="https://cointelegraph.com/explained/what-is-gpt-4o-and-how-is-it-different-from-gpt-3-gpt-35-and-gpt-4">ChatGPT</a> maker OpenAI is working on a novel approach to its AI models in a project code-named “Strawberry.” The model is reportedly designed to dramatically improve AI reasoning capabilities and enable autonomous deep internet research.
Additionally, on July 25, OpenAI <a href="https://cointelegraph.com/news/chatgpt-ai-search-prototype">announced the launch</a> of an AI-powered search engine prototype called SearchGPT.
On July 23, Meta CEO Mark Zuckerberg said the firm was taking the next steps toward open-source AI becoming the industry standard while <a href="https://cointelegraph.com/news/mark-zuckerberg-calls-open-source-meta-releases-llama-3-1">announcing</a> the release of its latest model, Llama 3.1.
Magazine: <a href="https://cointelegraph.com/magazine/apple-intelligence-1m-arc-prize-agi-500k-ai-millionaires-ai-eye/">$1M bet ChatGPT won’t lead to AGI, Apple’s intelligent AI use, AI millionaires surge: AI Eye</a>

DeepMind AI hits silver-medal standard in International Mathematical Olympiad

Cointelegraph

在 2024年7月26日發表的其他文章

61K Bitcoin Options and 490K Ethereum Options Expired Today

'$1,000 SOL Coming Soon' Top Analyst Gives Epic Solana Prediction

Analyst Sees Potential for Dogecoin Price to Hit $2

BNB Chain Eliminates $971M BNB in 28th Quarterly Token Burn

Ethereum and Layer-2 Blockchains See 127% Surge in Onchain Activity

Toncoin (TON) & Notcoin (NOT) Prices Attempt for a Rebound—Will They Secure a Bullish Weekend Close?

訂閱免費電子報，每天收取加密貨幣最新動態！