Tag Archives: OpenAI

Look, Mom, I pressed a button! (Go edition)

Apropos of nothing, I was reminded recently of a fascinating story I heard from Geordie Williamson about AI and go — perhaps this story was the original source. It is a story about how a technology which has the power … Continue reading

Posted in Mathematics | Tagged , , | 4 Comments

OpenAI, updated

An update on this post, from my inside sources: word on the math streets of SF is that the OpenAI team tried something like 500 problems to get their 10 solutions. I don’t know how much of an insider this … Continue reading

Posted in Mathematics | Tagged , , | 6 Comments

Look at everything that OpenAI failed to prove!

I was heartened to see a recent list of results proved by OpenAI here. Heartened because we are now clearly in an age in which AI can truly contribute to serious research mathematics. But also heartened because one can only … Continue reading

Posted in Mathematics | Tagged , | 8 Comments