Tootfinder

New shape🚨! "Mathematicians Make Surprising Breakthrough in 3D Geometry with ‘Noperthedron’ "| Scientific American (h/t Amanda Montañez on bsky)
https://www.scientificamerican.com/article/mathematicians-make…

Mathematicians Make Surprising Breakthrough in 3D Geometry with ‘Noperthedron’
The noperthedron has a surprising property—which disproves a long-standing conjecture

Was dieser Fall zeigt: dass Mathematiker*innen im Team besser (bzw. schneller) sind, und dass KI-Bots auf präzisen Fragestellungen vernünftige und hilfreiche Antworten geben können, was man erkennt, wenn man sie überprüfen kann.
https://www.

Der weltbeste Mathematiker fragte für ein ungelöstes Problem erfolgreich ChatGPT
Mithilfe präziser Fragen an die KI konnte Tao eine Hypothese aus der Zahlentheorie bestätigen. Auch Mathematik-Begeisterte auf Onlineplattformen halfen mit

MatheMagic: Generating Dynamic Mathematics Benchmarks Robust to Memorization
Dayy\'an O'Brien, Barry Haddow, Emily Allaway, Pinzhen Chen
https://arxiv.org/abs/2510.05962

MatheMagic: Generating Dynamic Mathematics Benchmarks Robust to Memorization
Conducting contamination-free evaluation of mathematical capabilities can be difficult for two reasons: models may memorize a test set once it is made public, and current mathematical benchmarks are prone to overfitting due to having limited diversity of symbols and rules, coupled with closed-ended answers. This paper proposes a method to leverage these shortcomings as useful features to a construct dynamic, counterfactual benchmark, which can be used to both reveal overfitting and measure true…

Researchers tested Google DeepMind's AlphaEvolve AI agent on 67 mathematical problems and found that it discovered improved solutions to about 20 of them (Adam Zsolt Wagner/@azwagner_)
https://x.com/azwagner_/status/1986388872104702312

Adam Zsolt Wagner (@azwagner_) on X
Really happy to share our new paper on using AlphaEvolve for mathematical exploration at scale, written with Javier Gómez-Serrano, Terence Tao, and @GoogleDeepMind's Bogdan Georgiev. We tested it on 67 problems and documented all our successes and failures. 🧵

Ethical and sustainable mathematics is localised: why global paradigms fail and culturally-situated practices are essential
Dennis M\"uller, Maurice Chiodo
https://arxiv.org/abs/2510.05892

Ethical and sustainable mathematics is localised: why global paradigms fail and culturally-situated practices are essential
This paper identifies several different interconnected challenges preventing the move towards more ethical and sustainable mathematics education: the entrenched belief in mathematical neutrality, the difficulty of simultaneously reforming mathematics and its pedagogy, the gap between academic theory and classroom practice, and the need for epistemic decolonisation. In this context, we look at both bottom-up and top-down approaches, and argue that globalised frameworks such as the United Nations…

Mathematically rigorous proofs for Shapley explanations
David van Batenburg
https://arxiv.org/abs/2510.03281 https://arxiv.org/pdf/2510.03281

Mathematically rigorous proofs for Shapley explanations
Machine Learning is becoming increasingly more important in today's world. It is therefore very important to provide understanding of the decision-making process of machine-learning models. A popular way to do this is by looking at the Shapley-Values of these models as introduced by Lundberg and Lee. In this thesis, we discuss the two main results by Lundberg and Lee from a mathematically rigorous standpoint and provide full proofs, which are not available from the original material. The fi…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
MADMADMAD:
🎵 Hey!
#MADMADMAD
https://lajungle.bandcamp.com/track/madmadmad-hey-ha-hey-ha-remix
https://open.spotify.com/track/5Q8ECWIsTCwtPQhpDpRvJ4

Higher order differential calculus in mathlib
S\'ebastien Gou\"ezel (IRMAR)
https://arxiv.org/abs/2509.04922 https://arxiv.org/pdf/2509.04922

Higher order differential calculus in mathlib
We report on the higher-order differential calculus library developed inside the Lean mathematical library mathlib. To support a broad range of applications, we depart in several ways from standard textbook definitions: we allow arbitrary fields of scalars, we work with functions defined on domains rather than full spaces, and we integrate analytic functions in the broader scale of smooth functions. These generalizations introduce significant challenges, which we address from both the mathemati…

Du bist Mathematiker, wenn du die Zeichen fehlerfrei und ohne Nachzudenken schreiben kannst.
#Mathematik #xi #zeta

It took big Democratic wins for right-wing media to admit that the affordability crisis is getting worse (Zachary Pleat/Media Matters for America)
https://www.mediamatters.org/fox-news/it-took-big-democratic-wins-right-wing-media-admit-affordability-crisis-getting-worse
http://www.memeorandum.com/251106/p66#a251106p66