Welcome to our vibrant community!
From Alvaro Lozano-Robledo on :https://x.com/mathandcobb/status/2086924556313227277 Anthropics informal note stating the proof more concisely:https://www-cdn.anthropic.com/23455459f8832d06bb175cc0f88d019aed962ef8.pdf Blog post: Learning more about Claude's mathematical capabilities:https://www.anthropic.com/research/riemann-zeta...
Pre-Columbian South American Cultures were excellent accountants and mathematicians. Spanish explorers described how they could calculate with extreme precision the volume of a distant mountain,...
Talk description: Current AI tools, when combined with formal verification and modern collaboration platforms, are enabling new ways to do mathematics at scale, with increasingly broad...
Another "Moderately interesting" question from theFrontierMath: Open Problemslist has been solved (originally announced here in the form of a puzzle lol). This comes from Levent...