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)industryabout 9 hours ago▲ 24Read story→
YhackernewsPISA 2025 Students' reading and mathematics performance declined across the OECDhackernewsabout 10 hours ago▲ 30Read story→
YhackernewsCaltech Mathathon – first hackathon ever devoted to research level mathematicshackernews1 day ago▲ 24Read story→
YhackernewsMathKernel: An evidence-aware multi-engine mathematics kernel and MCP serverhackernews2 days ago▲ 12Read story→
arXivarxivAsk Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive Optimizationarxivmath.OCcs.AI4 days ago▲ 43Read story→
arXivarxivA Case Study on Emergent Cheating and Whistleblowing in Autonomous Research Swarmsarxivcs.AIpublisher:arxiv5 days ago▲ 43Read story→
arXivarxivRetrieved but not ranked: surface-form bias in structural retrieval, from mathematics to agent trajectoriesarxivcs.LGcs.AI7 days ago▲ 43Read story→
arXivarxivNeural Symbollic Regression Using Deep Learning and Sparse Modellingarxivcs.LGcs.NE7 days ago▲ 43Read story→
YhackernewsTerence Tao explains 6 essential mathematical concepts [video]hackernews9 days ago▲ 63Read story→
reddit[R] Autonomous Mathematical Discovery in an Open-World Multi-Agent Environmentredditmachine-learningMachineLearning9 days ago▲ 10Read story→
YhackernewsAutonomous Mathematical Discovery in an Open-World Multi-Agent Environmenthackernews11 days ago▲ 16Read story→
arXivarxivLearning to Use Tools: Reinforcement Learning for Tool-Integrated Mathematical Reasoningarxivcs.AIpublisher:arxiv11 days ago▲ 43Read story→
arXivarxivProve2Me: An Open Collaborative Platform for Scaling Math Formalizationarxivcs.AIcs.LO11 days ago▲ 43Read story→
arXivarxivSymboLLM-FE: LLM-Accelerated Symbolic Regression for Automated Feature Engineering on Tabular Dataarxivcs.LGpublisher:arxiv11 days ago▲ 43Read story→
arXivarxivMitigating Reasoning-Induced Misalignment via Safety-Direction Penaltyarxivcs.AIcs.CL15 days ago▲ 43Read story→