Quoting Ken Ono:
"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 asked o4-mini to solve the question. Over the next 10 minutes, he watched in stunned silence as the bot unfurled a solution in real time, showing its reasoning process along the way.
And yet they don't tell us what that problem was.
*So* frustrating.