Google buys cutting edge Artificial Intelligence startup DeepMind

Poitier

My Words Law
Supporter
Joined
Jul 30, 2013
Messages
69,411
Reputation
15,469
Daps
246,399
Google Acquires Artificial Intelligence Startup DeepMind For More Than $500M

Google will buy London-based artificial intelligence company DeepMind. The Informationreports that the acquisition price was more than $500 million, and that Facebook was also in talks to buy the startup late last year. DeepMind confirmed the acquisition to us, but couldn’t disclose deal terms.

The acquisition was originally confirmed by Google to Re/code.

Google’s hiring of DeepMind will help it compete against other major tech companies as they all try to gain business advantages by focusing on deep learning. For example, Facebook recently hired NYU professor Yann LeCunn to lead its new artificial intelligence lab, IBM’s Watson supercomputer is now working on deep learning, and Yahoo recently acquired photo analysis startup LookFlow to lead its new deep learning group.

DeepMind was founded by neuroscientist Demis Hassabis, a former child prodigy in chess, Shane Legg, and Mustafa Suleyman. Skype and Kazaa developer Jaan Tallin is an investor.

This is the latest move by Google to fill out its roster of artificial intelligence experts and, according to Re/code, the acquisition was reportedly led by Google CEO Larry Page. If all three of DeepMind’s founders work for Google, they will join inventor, entrepreneur, author, and futurist Ray Kurzweil, who was hired in 2012 as a director of engineering focused on machine learning and language processing.

Kurzweil has said that he wants to build a search engine so advanced that it could act like a “cybernetic friend.”

After it acquired Nest earlier this month, critics voiced concerns about how much customer data the smart device maker would share with Google. The company’spurchase of Boston Dynamics last month also sparked confusion about why a search company needs a robotics maker.

Google looks like it is better prepared to allay user concerns over its latest acquisition. According to The Information’s sources, Google has agreed to establish an ethics board to ensure DeepMind’s artificial intelligence technology isn’t abused.

But the company may also have to clarify what exactly DeepMind’s AI tech does. Thecompany’s site currently just has a landing page, with a relatively vague description that says DeepMind is “a cutting edge artificial intelligence company” to build general-purpose learning algorithms for simulations, e-commerce, and games. As of December, the startup had about 75 employees, says The Information.

Re/code reports that Founders Fund and Horizons Ventures are both major investors in the startup. DeepMind was started about three years ago, according to LinkedIn profiles.

In 2012, Carnegie Mellon professor Larry Wasserman wrote that the “startup is trying to build a system that thinks. This was the original dream of AI. As Shane [Legg] explained to me, there has been huge progress in both neuroscience and ML and their goal is to bring these things together. I thought it sounded crazy until he told me the list of famous billionaires who have invested in the company.”

http://techcrunch.com/2014/01/26/google-deepmind/
 

Poitier

My Words Law
Supporter
Joined
Jul 30, 2013
Messages
69,411
Reputation
15,469
Daps
246,399
Keep in mind, Google just bought a leading edge Drone production company, Boston Dynamics. So let us do the math : leading edge AI + Drones + Plutocrats and their corporations, what can possibly go wrong? New World Order. Why is there not more of a concern for this stuff? I know Google claims they won't abuse this but are we really going to trust billionaires to have our best interest?
 

Insensitive

Superstar
Joined
May 21, 2012
Messages
12,375
Reputation
4,766
Daps
41,916
Reppin
NULL
You'll see some really interesting things by 2030.
yeah, I posted a kickstarter in Higher Learning a while back for a small start up involving
robotics and AI veterans one of which is the creator of Robosapien and one of my personal
hero's for consumer robotics.

I really think going forward Robotics will be a The Internet/The Integrated Circuit type deal
for this next generation.
 

ORDER_66

I dont care anymore 2025
Joined
Feb 2, 2014
Messages
147,554
Reputation
16,317
Daps
587,516
Reppin
Queens,NY
skynet_wp_by_thykka-d3ezvbj.jpg
 

OsO

Souldier
Joined
May 6, 2012
Messages
5,092
Reputation
1,172
Daps
12,271
Reppin
Harlem
Keep in mind, Google just bought a leading edge Drone production company, Boston Dynamics. So let us do the math : leading edge AI + Drones + Plutocrats and their corporations, what can possibly go wrong? New World Order. Why is there not more of a concern for this stuff? I know Google claims they won't abuse this but are we really going to trust billionaires to have our best interest?

or


robot2.jpg


or

terminator-2-1991-10-g.jpg


or

6.jpg



or they'll just keep droning countries into the stone age... either way it's not a good look.
 

Wild self

The Black Man will prosper!
Supporter
Joined
Jun 20, 2012
Messages
83,001
Reputation
12,116
Daps
225,063
Humanity is Doomed. There is nowhere on earth you can run to anymore. :to:
 

bnew

Veteran
Joined
Nov 1, 2015
Messages
62,442
Reputation
9,478
Daps
171,119







1/11
We’re presenting the first AI to solve International Mathematical Olympiad problems at a silver medalist level.🥈

It combines AlphaProof, a new breakthrough model for formal reasoning, and AlphaGeometry 2, an improved version of our previous system. 🧵 AI achieves silver-medal standard solving International Mathematical Olympiad problems

2/11
Our system had to solve this year's six IMO problems, involving algebra, combinatorics, geometry & number theory. We then invited mathematicians @wtgowers and Dr Joseph K Myers to oversee scoring.

It solved 4️⃣ problems to gain 28 points - equivalent to earning a silver medal. ↓

3/11
For non-geometry, it uses AlphaProof, which can create proofs in Lean. 🧮

It couples a pre-trained language model with the AlphaZero reinforcement learning algorithm, which previously taught itself to master games like chess, shogi and Go. AI achieves silver-medal standard solving International Mathematical Olympiad problems

4/11
Math programming languages like Lean allow answers to be formally verified. But their use has been limited by a lack of human-written data available. 💡

So we fine-tuned a Gemini model to translate natural language problems into a set of formal ones for training AlphaProof.

5/11
When presented with a problem, AlphaProof attempts to prove or disprove it by searching over possible steps in Lean. 🔍

Each success is then used to reinforce its neural network, making it better at tackling subsequent, harder problems. → AI achieves silver-medal standard solving International Mathematical Olympiad problems

6/11
With geometry, it deploys AlphaGeometry 2: a neuro-symbolic hybrid system.

Its Gemini-based language model was trained on increased synthetic data, enabling it to tackle more types of problems - such as looking at movements of objects. 📐

7/11
Powered with a novel search algorithm, AlphaGeometry 2 can now solve 83% of all historical problems from the past 25 years - compared to the 53% rate by its predecessor.

It solved this year’s IMO Problem 4 within 19 seconds. 🚀

Here’s an illustration showing its solution ↓

8/11
We’re excited to see how our new system could help accelerate AI-powered mathematics, from quickly completing elements of proofs to eventually discovering new knowledge for us - and unlocking further progress towards AGI.

Find out more → AI achieves silver-medal standard solving International Mathematical Olympiad problems

9/11
thank you for this hard work and thank you for sharing it with the world <3

10/11
That is astonishing

11/11
Amazing. Congrats!


To post tweets in this format, more info here: https://www.thecoli.com/threads/tips-and-tricks-for-posting-the-coli-megathread.984734/post-52211196
GTV8_V5WAAAws2X.png

GTV9E7GXkAAMJH2.jpg

GTV9KtFXoAAIqCG.jpg

GTV75c1XYAA5j1s.jpg

GTV_El2XYAARTMO.jpg





 
Top