OpenAI details a breakthrough on the planar unit distance problem first posed by Paul Erdős in 1946
Reactions highlight anxiety among early-career mathematicians over AI displacement.
#51Sebastien Bubeck@SEBASTIENBUBECK@thegautamkamath Clearly not qualified for second point but for first one we're trying!
Sebastien Bubeck@SebastienBubeckSolving long-standing problems is fun, but with @markchen90 @merettm we are also actively thinking about what it actually means for the communities that have been built around these problems, and we are seeking feedback from them on what THEY would be most excited to see us do. The unit distance problem is beautiful because WE, humans, find it beautiful. Its solution is enthralling because WE, humans, appreciate the unexpected connection and the deep symmetries that come with it. A machine churning out more problems and solutions like this without any humans looking at them would be meaningless. Ultimately, for this type of mathematics, it is really about improving human's understanding of the constraints that logic imposes on the universe.
#210Gautam Kamath@THEGAUTAMKAMATH@SebastienBubeck Yes, I know you and others inside do care! Of course it's hard to make sure that's uniformly true, but at least they can workshop their jokes a bit more...