Tag Archives: OpenAI

A Brief Digest of Some New OpenAI Results

I thought it might be worth discussing some of the recent OpenAI results in my field, or at least in algebraic number theory. For each of them, I’d like to offer a few thoughts, if I have any, on what … Continue reading →

Posted in Mathematics, Uncategorized | Tagged , , , , , , , , , , , , , , , , , | 15 Comments

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 , , | 5 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