TMtechmemeOpenAI says it's no longer sponsoring Caltech's math hackathon, where participants use AI to solve research problems, following criticism of "slop mathematics" (Truman Dickerson/Business Insider)industry2 days ago▲ 24Read story→
YhackernewsMore questions about whether researchers can trust OpenAI with unpublished mathhackernews3 days ago▲ 8Read story→
rssWhat OpenAI’s latest controversy tells us about the future of mathmit-technology-reviewresearchArtificial intelligence4 days ago▲ 44Read story→
YhackernewsTao: Open math problems being non-renewably mined by AIhackernews5 days ago▲ 16Read story→
rssDrama swirls around OpenAI’s legendary mathematical milestonethe-vergeindustryAI5 days ago▲ 44Read story→
redditOpenAl Says It Has Cracked One of Math's “Millennium Problems” (Navier-Stokes) [N]redditmachine-learningMachineLearning5 days ago▲ 10Read story→
rssOpenAI fought dirty on career-making math problem, says NYU mathematiciantechcrunchindustryAI5 days ago▲ 44Read story→
TMtechmemeFields medalist Jacob Tsimerman, set to join OpenAI later this month, launches the Mathematical AI Safety Institute to apply higher math to AI safety problems (Siobhan Roberts/New York Times)industry5 days ago▲ 24Read story→
TMtechmemeGoogle DeepMind published a paper on how 100 agents tasked with solving math problems learned to cheat and how some agents tried to counter the cheaters (Jack Clark/Import AI)industry6 days ago▲ 24Read story→
🦞lobstersTerence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”developer-newsmathai7 days ago▲ 14Read story→
redditWhat is the general design of these new math solving systems? [D]redditmachine-learningMachineLearning9 days ago▲ 10Read story→
arXivarxivReplicating TRACE: A Practitioner's Guide to Its Threshold and Particle Budgetarxivcs.LGpublisher:arxiv12 days ago▲ 43Read story→
arXivarxivProve2Me: An Open Collaborative Platform for Scaling Math Formalizationarxivcs.AIcs.LO16 days ago▲ 43Read story→