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日公開の他の記事

Analyst Sees Potential for Dogecoin Price to Hit $2

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

BlackRock Crypto Chief Denies Chances Of Solana, XRP ETF Approval

Crypto’s New Epicenter: Asia’s Rising Influence

Polkadot and ONDO Bleed As Raboo Celebrates $2M Presale Achievement

Japanese Financial Giant Preparing for Approval of Bitcoin ETFs

ニュースレターを購読して暗号資産の最新情報を毎日入手！