Tootfinder

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

🇺🇦 #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

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. 🧵

SSEmb: A Joint Structural and Semantic Embedding Framework for Mathematical Formula Retrieval
Ruyin Li, Xiaoyu Chen
https://arxiv.org/abs/2508.04162 https://

SSEmb: A Joint Structural and Semantic Embedding Framework for Mathematical Formula Retrieval
Formula retrieval is an important topic in Mathematical Information Retrieval. We propose SSEmb, a novel embedding framework capable of capturing both structural and semantic features of mathematical formulas. Structurally, we employ Graph Contrastive Learning to encode formulas represented as Operator Graphs. To enhance structural diversity while preserving mathematical validity of these formula graphs, we introduce a novel graph data augmentation approach through a substitution strategy. Sema…

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

Auch nach all den Jahren habe ich noch immer nicht verstanden, warum die Lautstärketasten am #iPhone nur die #Medienwiedergabe steuern und nicht den #Klingelton
Ja ich weiß, es gibt da einen …

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…

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

A prova de que o filme Titanic só é triste por causa da trilha sonora kkkk.
Postando aqui em homenagem Š @… rs.

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