In case anyone’s wondering what good old AlphaGo has been up to…
Good news for OGS, more offers to develop it.
Bad news for many OGS users, i guess you know why.
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.
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
Fixed it for you!
Wait, I’ve seen this movie…
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.
These are not the most difficult olympiad problems, and quite close to what computers were already able to do (symbolic calculus) but still impressive.