In August, OpenAI convened around 40 mathematicians to discuss what to do if AI outpaces human capabilities in the field. The company hinted that its powerful models had solved hundreds of long-standing math problems, say people who were in attendance, but company representatives assured attendees it would not release the solutions all at once—an assurance OpenAI spokesperson Lindsay McCallum says the company is “not aware of”—and, worried by how the community might react, sought advice on how to publish the findings.

Attendees responded with “a mixture of excitement and dread,” but the meeting was a promising first step, recalls Northwestern University mathematician Bryna Kra. The group, she tells WIRED, asked the firm not to just publish them in a blog or tweet, like they had done with 10 problems earlier that month. Instead, it would be important for OpenAI to publish papers explaining the work so that mathematicians could absorb, digest, and use the results, according to Kra. “Apparently, that input was ignored,” she says.

OpenAI has told people it plans to dump hundreds of results to unsolved problems on GitHub on Tuesday, people familiar with the plans tell WIRED. The release would be the latest of tens of thousands of mathematical solutions generated by AI this year, as frontier models become increasingly capable.

“On August 28, we began training a new internal model. In addition to resolving the Navier—Stokes Millennium Prize problem⁠, this model has now resolved more than 100 long-standing open problems across most areas of mathematics,” says McCallum.

Source link