Fun

DeepMind AI hits silver-medal standard in International Mathematical Olympiad

News Feed - 2024-07-26 12:07:01

Martin Young5 hours agoDeepMind AI hits silver-medal standard in International Mathematical OlympiadGoogle’s DeepMind says its AlphaProof and AlphaGeometry 2 AI models are breaking new ground in mathematical reasoning — an Achilles’ heel of AI chatbots.527 Total views12 Total sharesListen to article 0:00NewsOwn this piece of crypto historyCollect this article as NFTJoin us on social networksGoogle 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. 


On July 25, Google DeepMind 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. 


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 stated.


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 AI system’s advanced mathematical reasoning capabilities.”Google AI performance compared to human scores. Source: Google


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 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 pre-trained language models to make AlphaProof. It 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, 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:4 things Google Gemini users will be able to do soon


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.” The model is reportedly 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 said the firm was taking the next steps toward open-source AI becoming the industry standard while announcing the release of its latest model, Llama 3.1.


Magazine: $1M bet ChatGPT won’t lead to AGI, Apple’s intelligent AI use, AI millionaires surge: AI Eye# Google# AI# ChatGPTAdd reaction

News Feed

China supreme court revises Anti-Money Laundering law to include ‘virtual assets’
Stephen Katte5 hours agoChina supreme court revises Anti-Money Laundering law to include ‘virtual assets’The Supreme People’s Procuratorate said the number of people prosecuted for money laundering has risen 20-fol
Ether on Lightning Is the Latest Bridge Crossing Crypto’s Great Divide
Ethereum developers are using the Lightning payments network to build bridges into the bitcoin ecosystem. The venture-backed crypto startup Radar, best known for its decentralized e
Investors flock to ETH products over BTC as markets recover: CoinShares
Martin Young5 hours agoInvestors flock to ETH products over BTC as markets recover: CoinSharesEthereum funds also lead Bitcoin ETPs on monthly performance with $150 million in inflows so far this month.1952 Total views33
Venezuela Might Have Cryptocurrency ATMs Again Soon
Venezuela Might Have Cryptocurrency ATMs Again Soon While Venezuela has been a leading country for cryptocurrency adoption in Latam, its citizens don’t have access to crypto
Brayden Lindrea2 hours agoFTX’s Bankman-Fried seeks gag order for all witnesses in criminal caseLawyers representing SBF have agreed to a gag order preventing him from making comments that could sway his criminal trial
Ethereum price recovery from 8-month low could take longer than expected — Analysts
Nancy Lubale4 hours agoEthereum price recovery from 8-month low could take longer than expected — AnalystsSeveral factors accelerated ETH’s drop to $2,100, and analysts warn that the recovery could take some time.156
CEO of defunct yield protocol says user deposits weren’t 'principal protected'
Zhiyuan Sun8 hours agoCEO of defunct yield protocol says user deposits weren’t "principal protected"The South Korean platform Delio collapsed last year due to counterparty exposure to Haru Invest, another South Korean
Coinbase Reportedly Facing SEC Probe for Listing Unregistered Securities
Coinbase Reportedly Facing SEC Probe for Listing Unregistered Securities Coinbase, the U.S.-based cryptocurrency exchange, is reportedly facing a probe from the Securities and Exch
Tether’s 1,500% Market Cap Increase in 500 Days — USDT Stablecoin Market Nears $70 Billion
Tether"s 1,500% Market Cap Increase in 500 Days — USDT Stablecoin Market Nears $70 Billion The stablecoin giant tether is by far the largest dollar-pegged crypto asset in the cry
David Attlee12 hours agoVauld gets permission for board restructuring from the courtThe Singapore-based crypto exchange has been in ongoing bankruptcy proceedings since August 2022.812 Total views4 Total sharesListen to
Biggest Movers: Meme Coins Move Lower, With SHIB Declining by 10%
Biggest Movers: Meme Coins Move Lower, With SHIB Declining by 10% Meme coins moved lower on Jan. 19, as cryptocurrency markets plunged following recent highs. Shiba inu, which rose
XRP To End 7-Month Consolidation After 700% Surge – Is A Major Move Coming?
Reason to trust Strict editorial policy that focuses on accuracy, relevance, and impartiality Created by industry experts and meticulously reviewed The highest standards in reporting and pu