Page 482«..1020..481482483484..490500..»

DeepMind’s AI system AlphaGeometry able to solve complex geometry problems at a high level – Tech Xplore

This article has been reviewed according to ScienceX's editorial process and policies. Editors have highlighted the following attributes while ensuring the content's credibility:

fact-checked

peer-reviewed publication

trusted source

proofread

by Bob Yirka , Tech Xplore

close

A team of AI researchers at Google's DeepMind, working with a colleague from New York University, has developed an AI system called AlphaGeometry that has demonstrated an ability to solve complex geometry problems at a high level.

In their paper published in the journal Nature, the group describes their new AI system and the ideas they used in its development. The team at Nature has also published a podcast giving an overview of the new AI system.

Proving mathematical theorems can be a challenging endeavor, and people who can do it well are considered to be valuable assets to institutes of higher learning, and in some cases, companies, such as Google. So a means of identifying such individuals has been establishedthe International Mathematical Olympiad. It is described as the World Championships of Mathematics competitions for high school students.

Because of many of the difficulties inherent in using math for many modern applications, such as the design of computer systems, computer scientists have been hoping for AI systems that can solve complex math problems and/or prove theorems. Unfortunately, up until now, AI systems have not performed nearly as well as hoped. In this new study, however, the team at DeepMind has now created an AI system called AlphaGeometry that competes at the level of gold-medal-winning students in the International Mathematical Olympiad.

To create AlphaGeometry, the research team used a new approach. Rather than attempting to teach the system how to prove theorems using multiple examples, they used a neural language model that allowed the system to train itself. This was done by synthesizing millions of known theorems and proofs with various levels of complexity. They also added a symbolic deduction engine to help the system learn and solve increasingly complex problems without assistance by humans.

The researchers then tested their new system by giving it 30 problems faced by students in the International Mathematical Olympiad over the years 2002 to 2020 and found that it was able to solve 25 of them considerably better than prior AI systems. They noted that its performance was on par with the average gold medalists at the competition.

The research team notes that the system is currently programmed to work with specific forms of geometry but suggests it may be able to expand its repertoire to other domains.

More information: Trieu H. Trinh et al, Solving olympiad geometry without human demonstrations, Nature (2024). DOI: 10.1038/s41586-023-06747-5

DeepMind blog post: deepmind.google/discover/blog/ system-for-geometry/

Journal information: Nature

2024 Science X Network

Read more:
DeepMind's AI system AlphaGeometry able to solve complex geometry problems at a high level - Tech Xplore

Read More..

DeepMind co-founder says AI will be able to invent, market, run businesses by 2029 – Cointelegraph

The next five years will be revolutionary for the business world, at least according to DeepMind co-founder and Inflection AI CEO Mustafa Suleyman.

The artificial intelligence (AI) pioneer recently spoke at the World Economic Forum, where, during a panel discussion, he told audience members that it was his belief that an AI system could invent, manufacture, market and sell a product essentially running its own business before 2030.

Per Suleyman:

While many would describe a machine capable of such feats as an artificial general intelligence (AGI), Suleyman declined to engage on that subject. He called the term AGI a hazy concept and said it was pretty unclear.

Instead, according to Business Insider, he stated that he believes researchers should focus on practical applications for AI technology.

In previous commentary, Suleyman had described his Turing Test, an analogue for determining how human-like an AI system is, as being whether an AI system could autonomously (and legally) earn $1 million.

Hes also spoken at length about the need to constrain artificial intelligence systems before its too late. In his book, The Coming Wave: Technology, Power, and the Twenty-first Centurys Greatest Dilemma, published in 2023, Suleyman writes that the next five years or so are absolutely critical.

Suleyman has also advocated for United States government intervention in the AI sector. Last year, he joined OpenAI CEO Sam Altman, Meta CEO Mark Zuckerberg and executives from Google, Amazon and other tech companies for a meeting with the U.S. Senate to discuss potential regulatory efforts for AI.

While no enforceable action came from the committee meetings, Suleyman and other tech leaders did sign a voluntary agreement to avoid knowingly creating harmful AI systems.

Related: Senators unveil bipartisan blueprint for comprehensive AI regulation

See the rest here:
DeepMind co-founder says AI will be able to invent, market, run businesses by 2029 - Cointelegraph

Read More..

DeepMind AI solves hard geometry problems from mathematics olympiad – New Scientist

Geometrical problems involve proving facts about angles or lines in complicated shapes

Google DeepMind

An AI from Google DeepMind can solve some International Mathematical Olympiad (IMO) questions on geometry almost as well as the best human contestants.

The results of AlphaGeometry are stunning and breathtaking, says Gregor Dolinar, the IMO president. It seems that AI will win the IMO gold medal much sooner than was thought even a few months ago.

The IMO, aimed at secondary school students, is one of the most difficult maths competitions in the world. Answering questions correctly requires mathematical creativity that AI systems have long struggled with. GPT-4, for instance, which has shown remarkable reasoning ability in other domains, scores 0 per cent on IMO geometry questions, while even specialised AIs struggle to answer as well as average contestants.

This is partly down to the difficulty of the problems, but it is also because of a lack of training data. The competition has been run annually since 1959, and each edition consists of just six questions. Some of the most successful AI systems, however, require millions or billions of data points. Geometrical problems in particular, which make up one or two of the six questions and involve proving facts about angles or lines in complicated shapes, are particularly difficult to translate to a computer-friendly format.

Thang Luong at Google DeepMind and his colleagues have bypassed this problem by creating a tool that can generate hundreds of millions of machine-readable geometrical proofs. When they trained an AI called AlphaGeometry using this data and tested it on 30 IMO geometry questions, it answered 25 of them correctly, compared with an estimated score of 25.9 for an IMO gold medallist based on their scores in the contest.

Our [current] AI systems are still struggling with the ability to do things like deep reasoning, where we need to plan ahead for many, many steps and also see the big picture, which is why mathematics is such an important benchmark and test set for us on our quest to artificial general intelligence, Luong told a press conference.

AlphaGeometry consists of two parts, which Luong compares to different thinking systems in the brain: a fast, intuitive system and a slower, more analytical one. The first, intuitive part is a language model, similar to the technology behind ChatGPT, called GPT-f. It has been trained on the millions of generated proofs and suggests which theorems and arguments to try next for a problem. Once it suggests a next step, a slower but more careful symbolic reasoning engine uses logical and mathematical rules to fully construct the argument that GPT-f has suggested. The two systems then work in tandem, switching between one another until a problem has been solved.

While this method is remarkably successful at solving IMO geometry problems, the answers it constructs tend to be longer and less beautiful than human proofs, says Luong. However, it can also spot things that humans miss. For example, it discovered a better and more general solution to a question from the 2004 IMO than was listed in the official answers.

Solving IMO geometry problems in this way is impressive, says Yang-Hui He at the London Institute for Mathematical Sciences, but the system is inherently limited in the mathematics it can use because IMO problems should be solvable using theorems taught below undergraduate level. Expanding the amount of mathematical knowledge AlphaGeometry has access to might improve the system or even help it make new mathematical discoveries, he says.

It would also be interesting to see how AlphaGeometry copes with not knowing what it needs to prove, as mathematical insight can often come from exploring theorems with no set proof, says He. If you dont know what your endpoint is, can you find within the set of all [mathematical] paths whether there is a theorem that is actually interesting and new?

Last year, algorithmic trading company XTX Markets announced a $10 million prize fund for AI maths models, with a $5 million grand prize for the first publicly shared AI model that can win an IMO gold medal, as well as smaller progress prizes for key milestones.

Solving an IMO geometry problem is one of the planned progress prizes supported by the $10 million AIMO challenge fund, says Alex Gerko at XTX Markets. Its exciting to see progress towards this goal, even before we have announced all the details of this progress prize, which would include making the model and data openly available, as well as solving an actual geometry problem during a live IMO contest.

DeepMind declined to say whether it plans to enter AlphaGeometry in a live IMO contest or whether it is expanding the system to solve other IMO problems not based on geometry. However, DeepMind has previously entered public competitions for protein folding prediction to test its AlphaFold system.

Topics:

Read more from the original source:
DeepMind AI solves hard geometry problems from mathematics olympiad - New Scientist

Read More..

DeepMind co-founder Mustafa Suleyman warns AI is a fundamentally labor replacing tool over the long term – Fortune

DeepMind co-founder Mustafa Suleyman is a heavyweight in the AI space. The Oxford dropout worked as a negotiator for the United Nations and the Dutch government early in his career, but then pivoted to AI and founded DeepMind in 2010 alongside Demis Hassabis and Shane Legg.

The machine learning lab grew like a weed under Suleyman, with the backing of Peter Thiels Founders Fund, before selling to Google parent company Alphabet for 400 million in 2014. Suleyman then took on several roles at DeepMind before stepping down five years later.

Now, the veteran AI founder is working on a new company called Inflection AI, which offers personalized AI assistants. And while Suleyman remains an avid supporter of AI, he expressed concerns about the industrys possible negative effectsin particular on workers.

In the long termwe have to think very hard about how we integrate these tools, because left completely to the market and to their own devices, these are fundamentally labor replacing tools, Suleyman told CNBC on Wednesday at the World Economic Forums annual gathering in Davos, Switzerland.

AI tools do two main things fundamentally differently, the DeepMind co-founder said. First, they make existing operations more efficient, which can lead to huge savings for businesses, but often by replacing the humans who did those jobs. Second, they allow for entirely new operations and processes to be createda process that can lead to job creation. These two forces will both hit the labor market by storm in coming years, leaving a serious, but unpredictable impact.

While Suleyman expects AI to augment us and make us smarter and more productive for the next couple decades, over the long term, its impact is still an open question.

Experts have been debating whether AI will replace human workers for over a decade. Some researchers argue that AI will lead to a wave of unemployment and economic disruption as it takes jobs worldwide, but others believe that the technology will create new job opportunities and spur economic growth by boosting worker productivity.

Theres been a steady stream of academic papers on the topic. A 2013 study by Carl Benedikt Frey and Michael Osborne, for example, estimated that 47% of US jobs are at risk of being automated amid the AI boom by the mid-2030s. And a July McKinsey study found that nearly 12 million Americans will need to switch jobs by 2030 as AI takes over their roles.

On the other hand, some researchers have found that AI could boost economic growth and offer new opportunities for workers. A 2022 United Nations International Labor Organization (ILO) study found that most AI systems will complement workers, rather than replacing them.

Still, Suleyman isnt the only big name in the AI industry to warn about the scary implications of AI for the labor market.

In a Jan. 10 Wired article, MIT professor Daron Acemoglu predicted that AI would disappoint everyone in 2024, proving itself merely a form of so-so automation that will take jobs from workers but fail to deliver the expected monumental improvements to productivity.

Researchers have yet to solve the problem of hallucinationswhere generative AI systems exaggerate or fabricate factsand that could lead to a whole host of issues in coming years, the noted economist argued, adding that theres no quick fix to the problem.

Generative AI is an impressive technology, and it provides tremendous opportunities for improving productivity in a number of tasks. But because the hype has gone so far ahead of reality, the setbacks of the technology in 2024 will be more memorable, Acemoglu wrote.

For Suleyman, unlike Acemoglu, its not that hype surrounding AI isnt real, its definitely a truly transformational technology.

Everything that is of value in our world has been created by our intelligence, our ability to reason over information and make predictions. These tools do exactly that, so its going to be very fundamental, he explained Wednesday.

Suleyman instead fears that AI will be so good at replicating humans that it will eventually displace workers, and without regulation, that could lead to serious economic consequences.

That being said, like Acemoglu, Suleyman argued that AIs proponents might be getting ahead of themselves with their optimistic near-term outlooks for rising productivity. The true impact of AI, from its ability to birth revolutionary technologies to its potential to stoke epic job losses, likely wont hit for years.

AI is truly one of the most incredible technologies of our lifetimes, but at the same time, it feels like expectations about its delivery are higher than theyve ever been and maybe we have hit a kind of peak hype for this moment, he explained.

See the rest here:
DeepMind co-founder Mustafa Suleyman warns AI is a fundamentally labor replacing tool over the long term - Fortune

Read More..

Google’s DeepMind builds hybrid AI system to solve complex geometry problems – SiliconANGLE News

Researchers at DeepMind, the artificial intelligence research division of Alphabet Inc., have created software thats able to solve difficult geometry proofs that are often used to test the brightest high school students in the International Mathematical Olympiad.

The new system, which was outlined in the scientific journal Nature, is said to be a significant advance over earlier AI algorithms, which have previously struggled to replicate the mathematical reasoning needed to tackle geometry problems.

AI researchers, including teams at DeepMinds rivals Anthropic PBC and OpenAI, have been striving to improve the reasoning and planning abilities of generative AI systems, as these are seen as crucial to creating algorithms that can match the capabilities of humans. Its believed that if AI systems can be endowed with such skills, they might not only be able to match humans, but even surpass them and make new scientific discoveries of their own.

OpenAI made headlines in November when it was reported that its researchers had made a key breakthrough in creating an AI system that could solve grade school-level math problems it hadnt come across before. It was a modest achievement, and OpenAI didnt even confirm it officially, but it created a lot of excitement in the research community anyway.

Now, DeepMind has gone one step further, showcasing a new system that can solve problems at a level comparable to a human gold medalist in the IMO, which is a prestigious competition for high school students.

DeepMinds geometry-solving AI system combines two different techniques. One component of the software, called AlphaGeometry, is a neural network thats based loosely on the human brain. Neural networks have been credited with some of the biggest advances made by AI systems, but they alone were not able to solve the most advanced geometry problems.

However, DeepMind paired AlphaGeometry with a symbolic AI engine, which uses a series of human-coded rules around how to represent data such as symbols, and then manipulate those symbols to reason. Symbolic AI is a relatively old-school technique that was surpassed by neural networks over a decade ago.

DeepMinds researchers explained that the system uses AlphaGeometry to develop an intuition about what might be the best approach to solving a geometry problem. This intuition is then used to guide the symbolic AI engine and come up with solutions. According to DeepMind, the new system was able to achieve results that are on a par with gold medal-winning high school students who compete in the annual IMU challenge.

All told, it was tested on 30 geometry problems, completing 25 within the specified time limit. The previous state-of-the-art AI system, developed way back in the 1970s, solved only 10 problems.

According to the researchers, AlphaGeometrys proofs were not quite as elegant as those created by humans, and they generally took significantly more steps to solve each problem than most students do. However, they also pointed out that AlphaGeometry developed some unique approaches that may lead to the discovery of geometric theorems that were previously unknown to mathematics. They plan to undertake additional research to determine if this is true.

One of the main challenges of teaching AI systems to solve mathematical problems has always been the lack of training data. DeepMind got around this by taking geometry questions used in the IMO and synthetically generating 100 million similar, but not identical, examples. They then used this dataset to train AlphaGeometrys neural network, and their success highlights the potential of synthetic data to be used to train other kinds of AI systems where the lack of training data has caused difficulties for researchers.

DeepMinds researchers said the hybrid neural network/symbolic AI approach may also hold promise for AI in other challenging domains, such as physics and finance. In those areas, problems can be solved using a combination of explicit rules and a more intuitive sense of how those rules should be applied. To encourage further exploration of this concept, its open-sourcing AlphaGeometrys code and training data.

TheCUBEis an important partner to the industry. You guys really are a part of our events and we really appreciate you coming and I know people appreciate thecontent you create as well Andy Jassy

THANK YOU

The rest is here:
Google's DeepMind builds hybrid AI system to solve complex geometry problems - SiliconANGLE News

Read More..

Google makes breakthrough in one of the hardest tests for AI – The Independent

Sign up to our free weekly IndyTech newsletter delivered straight to your inboxSign up to our free IndyTech newsletter

Google Deepmind says that a new artificial intelligence system has made a major breakthrough in one of the most difficult tests for AI.

The company says that it has created a new AI system that can solve geometry problems at the level of the very top high-school students.

Geometry is one of the oldest branches of mathematics, but has proven particularly difficult for AI systems to work with. It has been difficult to train them because of a lack of data, and succeeding requires building a system that can take on difficult logical challenges.

Typically, engineers train such systems using machine learning, which involves providing them with data on how to successfully complete a task, and have them learn how to do so. But there are few such human demonstrations available for proving theorems, especially in geometry.

Instead, researchers say they used a different approach to build the new system known as AlphaGeometry. They instead used a language model that was able to train itself by synthesising millions of theorems and their proofs, and then combined that with a system that can search through branching points in challenging problems.

Taken together, that system is able to learn and then solve complex geometrical problems without human input, the creators claim.

It was put to the test with 30 problems from the International Mathematical Olympiad, which is a competition in which the top-performing high school students are asked to prove mathematical theorems. AlphaGeometr was able to solve 25 of them.

That is far better than the previous best method, which was only able to solve 10 problems. It gets it close to the average gold medallist, who solved 25.9 theorems.

The system was also able to provide the proof in ways that humans understood and even found a new version of one theorem, researchers said.

At the moment, the system can only be used on specific kinds of geometry. But it could eventually be used in different branches of mathematics, the researchers say.

While much of the focus of recent AI excitement has been on large language models such as ChatGPT, Deepmind has focused primarily on more practical uses of artificial intelligence. That includes recent breakthroughs in weather forecasting and other parts of mathematics, for instance.

The work is described in a new paper, Solving olympiad geometry without human demonstrations, published in Nature.

Read the rest here:
Google makes breakthrough in one of the hardest tests for AI - The Independent

Read More..

Google DeepMind scientists in discussions to leave and launch an AI firm – CIO News

A few DeepMind scientists are in negotiations with investors about launching an AI startup in Paris.

A pair of scientists at Googles (GOOGL.O) artificial intelligence subsidiary DeepMind are in talks with investors to launch an AI business in Paris.

Scientists Laurent Sifre and Karl Tuyls, who have already given notice to quit DeepMind, have met with investors to explore a financing round that may raise more than 200 million euros ($217.84 million), according to the article.

The company, now known as Holistic, may be working on developing a new AI model, according to a report.

DeepMind was bought by Alphabet-owned Google roughly ten years ago to feed AI research and has now deployed its own solutions in the fight to compete with generative AI chatbots like Microsoft-backed ChatGPT.

Mistral AI, a Paris-based startup co-founded by a former DeepMind researcher, announced in December that it had raised 385 million euros ($419.34 million) in its second investment round in seven months.

Also read:Human intelligence and AI are inextricably linked, and the latter exists to complement and enhance the former, says Tanvir Khan, Chief Digital and Strategy Officer at NTT DATA Services

Do Follow:CIO News LinkedIn Account|CIO News Facebook|CIO News Youtube|CIO News Twitter

About us:

CIO News, a proprietary of Mercadeo, produces award-winning content and resources for IT leaders across any industry through print articles and recorded video interviews on topics in the technology sector such as Digital Transformation, Artificial Intelligence (AI), Machine Learning (ML), Cloud, Robotics, Cyber-security, Data, Analytics, SOC, SASE, among other technology topics.

See the original post here:
Google DeepMind scientists in discussions to leave and launch an AI firm - CIO News

Read More..

Google’s DeepMind can square its hypotenuse – Fudzilla

Because everyone needs a squared hypotenuse

DeepMind, the brainy Google-owned company that makes super-smart AI, has created a system that can crack hard geometry problems.

It's a huge leap for machines that can think like humans, experts say. Geometry, and maths in general, have been a headache for AI boffins for a long time. Compared with text-based AI models, there is much less data for maths because it uses symbols and rules.

Thang Wang, one of the clever clogs behind the research, which is published in Nature today said solving maths problems needs logical thinking, something that most current AI models are rubbish at. This is why maths is a good way to measure how smart AI is, says Wang.

DeepMind's program, called AlphaGeometry, mixes a language model with a type of AI that uses symbols and rules to work things out. Language models are good at spotting patterns and guessing what comes next. But their thinking is not good enough for maths. The other type of AI is based on strict logic and rules, which helps it guide the language model to make sense. These two methods, for creative and logical thinking, work together to solve tough maths problems. This is like how humans do geometry, using what they know and trying new things.

DeepMind says it tested AlphaGeometry on 30 geometry problems that are as hard as the ones in the International Mathematical Olympiad, a contest for the best maths students. It did 25 in time. The previous best system, made by a Chinese maths whizz in 1978, did only 10.

Floris van Doorn, a maths professor at the University of Bonn, who was not part of the research said: "This is amazing... I thought this would take much longer." DeepMind says this system shows AI's ability to think and learn new maths.

View post:
Google's DeepMind can square its hypotenuse - Fudzilla

Read More..

Trouble For Google As Several Of Its DeepMind Scientists In Talks To Leave The AI Subsidiary – Digital Information World

Bloomberg News has just reported a very interesting finding that has to do with Googles AI Subsidiary firm, DeepMind.

A leading number of scientists could potentially leave the organization and start one of their own. And thats because theyre already holding talks with possible partners about another startup located in the French capital city of Paris.

The top scientists included Karl Tuyls and Laurent Sifre who just gave notice to leave the organizations. Theyre said to have entered into talks with the investors regarding financial rounds that may raise more than 200 million euros, the media outlet reported.

The firm which is more reputed as Holistic could be focused on the likes of developing a brand new AI model. For now, both Google and its subsidiary have failed to confirm the news despite getting requests for comments regarding the matter.

DeepMind was first taken up by search giant Google around 10 years back as it hoped to work hard and fast on research linked to AI. This is now rolling out new offers across such a race so that it can better compete with the likes of chatbots powered by AI technology like ChatGPT.

The Mistral AI firm is based in the French capital and was first co-founded by one of DeepMinds ex-researchers. He mentioned last year how the company raised a staggering 385 million euros during its second round of investments taking place over just seven months.

But the thought of more AI startups springing up featuring experts who are very familiar with the domain is a point of concern for Google as its known for holding a dominant market share. Competition featuring those who once led one of its own subsidiaries is definitely a serious blow to the organization but how successful the new AI venture will be, only time can tell.

Read next:Google To Profit Billions From Changes To Its Search Thanks To Generative AI

Read more:
Trouble For Google As Several Of Its DeepMind Scientists In Talks To Leave The AI Subsidiary - Digital Information World

Read More..

Google AI scientists to leave company to open own startup: Report – Business Today

Laurent Sifre and Karl Tuyls, two scientists from Google's artificial intelligence subsidiary, DeepMind, are reportedly in discussions with investors to establish an AI startup in Paris, according to Bloomberg News. The pair, who have already announced their departure from DeepMind, are said to be negotiating a financing round that could generate over 200 million euros ($217.84 million).

The startup, currently known as Holistic, may concentrate on the development of a new AI model. Google and DeepMind have yet to respond to requests for comment from Reuters.

DeepMind, acquired by Google's parent company Alphabet approximately a decade ago, has been a significant player in AI research. It has recently launched its own products to compete with generative AI chatbots like Microsoft-backed ChatGPT.

In related news, Mistral AI, a Paris-based company co-founded by a former DeepMind researcher, announced in December that it had raised 385 million euros ($419.34 million) in its second funding round in just seven months.

Google to Continue with Layoffs

In early 2023, Google laid off around 12,000 employees. However, it seems the company is not done with the job cuts. The company has already begun layoffs. The company isreportedly planning to lay offemployees across its ad sales division as part of a restructuring process aimed at improving operational efficiency through the integration of AI.

The restructuring will primarily affect the ad sales team and customer care services, as Google explores the benefits of leveraging AI. The affected employees have been notified and will have the opportunity to apply for other open positions within Google. Google CEO Sundar Pichai acknowledged the challenging times and emphasized the need for action to prevent more adverse outcomes down the line.

Also read:29-yr-old IIT Bombay graduate who worked at Google says he has enough money to retire

Also read:Government issues ultimatum as minister Rajeev Chandrasekhar promises stricter IT rules against deepfakes

View original post here:
Google AI scientists to leave company to open own startup: Report - Business Today

Read More..