AlphaCode

In case anyone’s wondering what good old AlphaGo has been up to…

7 Likes

Good news for OGS, more offers to develop it. :blush:
Bad news for many OGS users, i guess you know why. :scream:

:cloud: :cloud_with_rain: :cloud_with_snow: :tornado: :cloud_with_rain: :cloud_with_lightning: :cloud_with_rain:

4 Likes

On a sidenote. What’s up with the theming of the deepmind website.
Those colors are so horrible.

How many different shades of purple, pink and blue do they try to use on one page. If that’s not enough, then add some orange.
And what’ with these giant Times New Roman fonts that are badly aligned.
Then once in a while they put white text on top of a white image.

I hope AlphaCode knows how to code HTML and CSS. He’s going to have a fulltime job at deepmind.

5 Likes

Well, MultiVAC after a while was the only one that understood how MultiVAC worked and how to upgrade it, so it designed its own “successor” … we had been forewarned for this so much that I was frankly under the impression that it was already a reality O_o

3 Likes

Fixed it for you! :smile: :robot:

2 Likes

Wait, I’ve seen this movie…

1 Like

And amazing album too:

meanwhile OpenAI:

Solving (Some) Formal Math Olympiad Problems

Each time we find a new proof, we use it as new training data, which improves the neural network and enables it to iteratively find solutions to harder and harder statements.

3 Likes

These are not the most difficult olympiad problems, and quite close to what computers were already able to do (symbolic calculus) but still impressive.

2 Likes