30 renowned mathematicians spent 2 days in Berkeley, California trying to come up with problems that OpenAl's o4-mini reasoning model could not solve... they only found 10. Excerpt: By the end of that Saturday night, Ono was frustrated with the bot, whose unexpected mathematical prowess was foiling the group’s progress. “I came up with a problem which experts in my field would recognize as an open question in number theory—a good Ph.D.-level problem,” he says. He asked o4-mini to solve the question. Over the next 10 minutes, Ono watched in stunned silence as the bot unfurled a solution in real time, showing its reasoning process along the way. The bot spent the first two minutes finding and mastering the related literature in the field. Then it wrote on the screen that it wanted to ...
No Comments 
![OpenAI’s Mark Chen: “I still remember the meeting they showed my [CodeForces] score, and said “hey, the model is better than you!” I put decades of my life into this… I’m at the top of my field, and it’s already better than me … It’s sobering.”](https://external-preview.redd.it/b3JzM2diazZnajVmMSMbIqvH7Xr1SI4xeIOC4agn0Mcn0g7xTsOZOeJ-jaqK.png?width=640&crop=smart&auto=webp&s=33d38bbe14b7f232bc55fdd64d722e756f288d10)
