<ul data-eligibleForWebStory="true">30 top mathematicians tested reasoning chatbot at secret meeting in California.The chatbot, o4-mini, outperformed models by solving complex unsolved mathematical problems.Researchers astonished by the bot's ability, likening it to a 'mathematical genius.'Concerns raised about the bot's progress and potential implications for future mathematicians.The meeting sparked discussions on the evolving role of mathematicians in the AI era.