Paul Graham @paulg

Last year's April Fool's joke is this year's reality (except for the name of the problem obviously). [引用 @wtgowers]: It's finally happened: after several unsuccessful attempts, I found a prompt that got Grok to solve a maths problem (the well-known Dubnovy Blazen problem in graph theory) I've been working on for over a year. How long till it's better than human mathematicians across the board?