Close Menu
Ztoog
    What's Hot
    Technology

    More like T-stationary: T-Mobile fixes roaming loophole for 5G home internet

    Science

    New algorithm finds lots of gene-editing enzymes in environmental DNA

    Mobile

    OnePlus 12 specs leak – GSMArena.com news

    Important Pages:
    • About Us
    • Contact us
    • Privacy Policy
    • Terms & Conditions
    Facebook X (Twitter) Instagram Pinterest
    Facebook X (Twitter) Instagram Pinterest
    Ztoog
    • Home
    • The Future

      Any wall can be turned into a camera to see around corners

      JD Vance and President Trump’s Sons Hype Bitcoin at Las Vegas Conference

      AI may already be shrinking entry-level jobs in tech, new research suggests

      Today’s NYT Strands Hints, Answer and Help for May 26 #449

      LiberNovo Omni: The World’s First Dynamic Ergonomic Chair

    • Technology

      A Replit employee details a critical security flaw in web apps created using AI-powered app builder Lovable that exposes API keys and personal info of app users (Reed Albergotti/Semafor)

      Gemini in Google Drive can now help you skip watching that painfully long Zoom meeting

      Apple iPhone exports from China to the US fall 76% as India output surges

      Today’s NYT Wordle Hints, Answer and Help for May 26, #1437

      5 Skills Kids (and Adults) Need in an AI World – O’Reilly

    • Gadgets

      8 Best Vegan Meal Delivery Services and Kits (2025), Tested and Reviewed

      Google Home is getting deeper Gemini integration and a new widget

      Google Announces AI Ultra Subscription Plan With Premium Features

      Google shows off Android XR-based glasses, announces Warby Parker team-up

      The market’s down, but this OpenAI for the stock market can help you trade up

    • Mobile

      Microsoft is done being subtle – this new tool screams “upgrade now”

      Wallpaper Wednesday: Android wallpapers 2025-05-28

      Google can make smart glasses accessible with Warby Parker, Gentle Monster deals

      vivo T4 Ultra specs leak

      Forget screens: more details emerge on the mysterious Jony Ive + OpenAI device

    • Science

      Analysts Say Trump Trade Wars Would Harm the Entire US Energy Sector, From Oil to Solar

      Do we have free will? Quantum experiments may soon reveal the answer

      Was Planet Nine exiled from the solar system as a baby?

      How farmers can help rescue water-loving birds

      A trip to the farm where loofahs grow on vines

    • AI

      Rationale engineering generates a compact new tool for gene therapy | Ztoog

      The AI Hype Index: College students are hooked on ChatGPT

      Learning how to predict rare kinds of failures | Ztoog

      Anthropic’s new hybrid AI model can work on tasks autonomously for hours at a time

      AI learns how vision and sound are connected, without human intervention | Ztoog

    • Crypto

      GameStop bought $500 million of bitcoin

      CoinW Teams Up with Superteam Europe to Conclude Solana Hackathon and Accelerate Web3 Innovation in Europe

      Ethereum Net Flows Turn Negative As Bulls Push For $3,500

      Bitcoin’s Power Compared To Nuclear Reactor By Brazilian Business Leader

      Senate advances GENIUS Act after cloture vote passes

    Ztoog
    Home » Google DeepMind used a large language model to discover new math
    AI

    Google DeepMind used a large language model to discover new math

    Facebook Twitter Pinterest WhatsApp
    Google DeepMind used a large language model to discover new math
    Share
    Facebook Twitter LinkedIn Pinterest WhatsApp

    FunSearch (so known as as a result of it searches for mathematical capabilities, not as a result of it’s enjoyable) continues a streak of discoveries in elementary math and laptop science that DeepMind has made utilizing AI. First AlphaTensor discovered a means to pace up a calculation on the coronary heart of many various sorts of code, beating a 50-year file. Then AlphaDev discovered methods to make key algorithms used trillions of instances a day run sooner.

    Yet these instruments didn’t use large language fashions. Built on high of DeepMind’s game-playing AI AlphaZero, each solved math issues by treating them as in the event that they had been puzzles in Go or chess. The bother is that they’re caught of their lanes, says Bernardino Romera-Paredes, a researcher on the firm who labored on each AlphaTensor and FunSearch: “AlphaTensor is great at matrix multiplication, but basically nothing else.”

    FunSearch takes a totally different tack. It combines a large language model known as Codey, a model of Google’s PaLM 2 that’s fine-tuned on laptop code, with different programs that reject incorrect or nonsensical solutions and plug good ones again in.

    “To be very honest with you, we have hypotheses, but we don’t know exactly why this works,” says Alhussein Fawzi, a analysis scientist at Google DeepMind. “In the beginning of the project, we didn’t know whether this would work at all.”

    The researchers began by sketching out the issue they needed to remedy in Python, a in style programming language. But they not noted the strains in this system that will specify how to remedy it. That is the place FunSearch is available in. It will get Codey to fill within the blanks—in impact, to counsel code that can remedy the issue.

    A second algorithm then checks and scores what Codey comes up with. The greatest options—even when not but right—are saved and given again to Codey, which tries to full this system once more. “Many will be nonsensical, some will be sensible, and a few will be truly inspired,” says Kohli. “You take those truly inspired ones and you say, ‘Okay, take these ones and repeat.’”

    After a couple of million options and a few dozen repetitions of the general course of—which took a few days—FunSearch was in a position to give you code that produced a right and beforehand unknown resolution to the cap set drawback, which entails discovering the most important measurement of a sure sort of set. Imagine plotting dots on graph paper. The cap set drawback is like attempting to work out what number of dots you’ll be able to put down with out three of them ever forming a straight line.

    It’s tremendous area of interest, however essential. Mathematicians don’t even agree on how to remedy it, not to mention what the answer is. (It can be linked to matrix multiplication, the computation that AlphaTensor discovered a means to pace up.) Terence Tao on the University of California, Los Angeles, who has gained most of the high awards in arithmetic, together with the Fields Medal, known as the cap set drawback “perhaps my favorite open question” in a 2007 weblog put up.

    Share. Facebook Twitter Pinterest LinkedIn WhatsApp

    Related Posts

    AI

    Rationale engineering generates a compact new tool for gene therapy | Ztoog

    AI

    The AI Hype Index: College students are hooked on ChatGPT

    AI

    Learning how to predict rare kinds of failures | Ztoog

    AI

    Anthropic’s new hybrid AI model can work on tasks autonomously for hours at a time

    AI

    AI learns how vision and sound are connected, without human intervention | Ztoog

    AI

    How AI is introducing errors into courtrooms

    AI

    With AI, researchers predict the location of virtually any protein within a human cell | Ztoog

    AI

    Google DeepMind’s new AI agent cracks real-world problems better than humans can

    Leave A Reply Cancel Reply

    Follow Us
    • Facebook
    • Twitter
    • Pinterest
    • Instagram
    Top Posts
    Mobile

    Where is Qi2? Not on the Galaxy S24 or OnePlus 12!

    Ryan Haines / Android Authority January noticed the launch of two of 2024’s greatest flagships:…

    Technology

    You Can Score a Free 65-Inch TV From Samsung, But Here’s the Catch

    There’s by no means been a higher time to get a new TV, or two. Samsung…

    Mobile

    Behind the lens: OnePlus shares insights into the upcoming camera sensor for OnePlus 12

    Oneplus is getting ready to launch its subsequent flagship, the OnePlus 12, with the preliminary…

    Technology

    The One UI 7 beta could be right around the corner for your Samsung phone

    (*7*)Robert Triggs / Android AuthorityTL;DR The Samsung One UI 7 beta program could kick off…

    Gadgets

    Starlink Launches Direct-to-Cell Satellites For T-Mobile And Global Carriers

    SpaceX has launched the primary six Starlink satellites geared up with “Direct to Cell” capabilities,…

    Our Picks
    Mobile

    Google addresses January Pixel storage bug with a temporary resolution –

    Science

    BA.2.86 fears fizzle as other variants drive up hospitalizations, deaths

    Technology

    Apple Takes Messaging Crackdown to Customers’ Macs

    Categories
    • AI (1,493)
    • Crypto (1,753)
    • Gadgets (1,804)
    • Mobile (1,850)
    • Science (1,866)
    • Technology (1,802)
    • The Future (1,648)
    Most Popular
    Mobile

    In an SEC filing, Dish says it can’t buy T-Mobile’s 800MHz spectrum as it heads toward bankruptcy

    AI

    A. Michael West: Advancing human-robot interactions in health care | Ztoog

    Mobile

    Motorola’s generous discount on the budget Moto G Play (2023) keeps rolling

    Ztoog
    Facebook X (Twitter) Instagram Pinterest
    • Home
    • About Us
    • Contact us
    • Privacy Policy
    • Terms & Conditions
    © 2025 Ztoog.

    Type above and press Enter to search. Press Esc to cancel.