

Metaverse
Google AI narrowly misses Gold in International Mathematics Competition: Report – Crypto News
In a stunning display of mathematical prowess, Google’s AI systems, AlphaProof and AlphaGeometry 2, have achieved silver medal-level performance at the prestigious International Mathematical Olympiad (via India Today).
AlphaProof, a groundbreaking AI system introduced by Google, excels in formal mathematical reasoning, reported the publication. Utilizing a blend of language models and the AlphaZero reinforcement learning algorithm—renowned for mastering chess and Go—AlphaProof trains itself to tackle complex math problems using Lean, a formal language for mathematics. Demonstrating its capabilities, AlphaProof successfully solved two challenging algebra problems and one number theory problem during the IMO, including the competition’s most difficult problem, a feat achieved by only five human contestants.
Reportedly, the second AI system, AlphaGeometry 2, is a notable advancement over Google’s earlier geometry-solving AI. Using a neuro-symbolic hybrid method, it integrates an advanced language model with a robust symbolic engine.
This enhancement enabled AlphaGeometry 2 to solve intricate geometry problems more efficiently. During the IMO, AlphaGeometry 2 impressively solved Problem 4 in just 19 seconds, which involved complex geometric constructions and a deep understanding of angles, ratios, and distances. Trained on a vast dataset encompassing 25 years of historical IMO geometry problems, AlphaGeometry 2 boasts an impressive 83 per cent success rate in solving these challenges.
Google’s AI systems achieved a score of 28 out of 42 points at the IMO, falling just one point short of a gold medal. Renowned mathematicians, such as Fields Medal recipient Prof Sir Timothy Gowers and Dr. Joseph Myers, Chair of the IMO 2024 Problem Selection Committee, reviewed the AI’s solutions. They concluded that the AI could produce impressive and non-obvious solutions, highlighting a significant milestone in AI’s ability to perform complex mathematical reasoning.
This achievement underscores Google’s progress in advancing AI technology, with the potential to revolutionize various fields by assisting mathematicians in exploring new hypotheses, solving longstanding problems, and automating time-consuming elements of mathematical proofs.
In the future, Google intends to share additional technical information about AlphaProof and to further investigate various AI methodologies to improve mathematical reasoning, adds the publication. Their goal is to create AI systems that collaborate with human mathematicians, thereby advancing the frontiers of science and technology.
Milestone Alert!
Livemint tops charts as the fastest growing news website in the world 🌏 Click here to know more.
3.6 Crore Indians visited in a single day choosing us as India’s undisputed platform for General Election Results. Explore the latest updates here!
Download The Mint News App to get Daily Market Updates.
Published: 26 Jul 2024, 11:05 PM IST
-
Blockchain6 days ago
Institutional Demand Surges As Ethereum Sets New Inflow Records – Crypto News
-
Blockchain6 days ago
DeFi Development Nears 1 Million Solana In Treasury – Crypto News
-
Cryptocurrency1 week ago
Altseason heats up, but Bitcoin could face short-term pullback – How? – Crypto News
-
De-fi1 week ago
BNB Chain Teases New Blockchain with Privacy Features to Compete With Crypto Exchanges – Crypto News
-
Technology1 week ago
“Decentralized Ponzi Scheme”- Gold Bug Peter Schiff Slams Landmark Crypto Bills – Crypto News
-
Cryptocurrency1 week ago
California Sheriffs Believe 74-Year-Old’s Disappearance Linked to Son’s Crypto Fortune – Crypto News
-
Business7 days ago
Vitalik Buterin Approves Gas Limit Hike, Warns Against Risky Ethereum Scaling – Crypto News
-
Blockchain6 days ago
Strategy to keep STRC Fund Pegged to $100 – Crypto News
-
Technology6 days ago
Grab up to 43% off on best selling premium laptops from Apple, Asus and more – Crypto News
-
Technology5 days ago
Bitwise Crypto Index Fund Holding BTC, ETH, XRP To Convert Into ETF – Crypto News
-
Technology1 week ago
Meta’s AI Studio: Red flag or red herring? – Crypto News
-
Technology1 week ago
Breaking: GENIUS Act Becomes First Major Crypto Legislation as Trump Signs Bill – Crypto News
-
De-fi1 week ago
Crypto Market Cap Hits $4 Trillion Milestone as US House Passes Landmark Bills – Crypto News
-
Cryptocurrency1 week ago
Shytoshi Kusama Breaks Silence on New SHIB AI Whitepaper and Transformed Future – Crypto News
-
Cryptocurrency1 week ago
Sanctum acquires Ironforge, plots transaction infrastructure vertical – Crypto News
-
Cryptocurrency1 week ago
XRP Price Hits All-Time High at $3.66 — Can It Smash Through $4 After Trump Win & SEC Shake-Up? – Crypto News
-
Blockchain7 days ago
How to Use Google Gemini to Turn Crypto News Into Trade Signals – Crypto News
-
others6 days ago
EUR/CHF rises on speculation of SNB intervention, but EU–US trade risks cap gains – Crypto News
-
Cryptocurrency6 days ago
Solana Clinches 5-Month High, Where to From Here? – Crypto News
-
Technology1 week ago
Malicious code found in fake coding extensions used to steal crypto – Crypto News
-
Cryptocurrency1 week ago
XRP Price Spikes to Record Highs As Momentum Signals Extended Gains – Crypto News
-
Blockchain1 week ago
Why Bitcoin self-custody is declining in the ETF era – Crypto News
-
Cryptocurrency1 week ago
US House passes three key crypto bills; market reaction muted as Bitcoin dips – Crypto News
-
De-fi1 week ago
Crypto Market Cap Hits $4 Trillion Milestone as US House Passes Landmark Bills – Crypto News
-
others1 week ago
Streaming Service Handing $3,400,000 To Current and Former Customers To Settle Illegal Data Harvesting Allegations – Crypto News
-
Cryptocurrency1 week ago
Arthur Hayes-linked wallet bags $2M worth of AAVE and LDO in an OTC deal – Crypto News
-
others1 week ago
Why Is The Crypto Market Rising Today? – Crypto News
-
others7 days ago
Breaking: Polymarket Reenters US Market With Exchange Acquisition As Probe Ends – Crypto News
-
Blockchain6 days ago
To The Moon? Justin Sun To Be Launched Into Space After $28M Bid – Crypto News
-
others6 days ago
Venture Capital Firms Launch $360,000,000 Crypto Treasury Company Focused on Arthur Hayes-Backed Ethena (ENA) – Crypto News
-
Cryptocurrency6 days ago
Ethereum Shatters Inflow Records, Pulls in $2.12 Billion in a Week – Crypto News
-
De-fi6 days ago
Galaxy Digital Claims Futarchy Model Can Give DAOs ‘Stronger Chance of Success’ – Crypto News
-
Technology6 days ago
BitOrigin Begins $500M Dogecoin Treasury With 40.5M Buy, Analysts Predict Fresh Bull Cycle – Crypto News
-
Blockchain6 days ago
XRP Could Skyrocket 500% Against Bitcoin, Analyst Warns – Crypto News
-
Blockchain6 days ago
Crypto Needs Minimum Viable Decentralization – Crypto News
-
Cryptocurrency2 days ago
ETH to Lead BTC Over Next 6 Months, Says Galaxy CEO – Crypto News
-
others1 week ago
From Staking to Arbitrage: Why Mevstaking Is Gaining Investor Attention – Crypto News
-
Cryptocurrency1 week ago
Ethereum price surges 6% to $2,800 as shorts suffer amid $500M crypto liquidation – Crypto News
-
Technology1 week ago
OnePlus Pad 3 with Snapdragon 8 Elite SoC makes its India debut, set to go on first sale in September – Crypto News
-
Business1 week ago
XRP ETF Approval Odds Rise to 86% Following ProShares Launch Success – Crypto News
-
Cryptocurrency1 week ago
Friday charts: Fiscal dominance and super intelligence – Crypto News
-
De-fi1 week ago
Trump’s Crypto Assets Now Comprise a Key Part of Family Fortune Worth Billions – Crypto News
-
Business1 week ago
Pi Coin Price Technical Analysis Confirms Buy Signal Despite 2M Exchange Inflows – Crypto News
-
Technology1 week ago
Not Google or Bing! This search engine lets you block AI images in search results – Crypto News
-
Cryptocurrency1 week ago
GENIUS Act Is The Catalyst For XRP And RLUSD’s Dominance, Expert Declares – Crypto News
-
De-fi1 week ago
Nasdaq Files to Add Staking to BlackRock’s ETH ETF – Crypto News
-
Cryptocurrency1 week ago
Bitcoin Darknet Giant Abacus Vanishes – Crypto News
-
Business7 days ago
Expert Predicts XRP Price to Hit $45 as XRP Ledger Activity Soars and SWIFT Volume Declines – Crypto News
-
Technology6 days ago
Galaxy Watch 8 and Watch 8 Classic go on sale in India: Check price, variants and offers – Crypto News
-
others6 days ago
Gold extends gains as trade uncertainty weighs on the US Dollar – Crypto News