Tootfinder

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
MADMADMAD:
🎵 Spin Wave
#MADMADMAD
https://madmadmad.bandcamp.com/track/spin-wave
https://open.spotify.com/track/6E7tzoAGI8Sp07LNHqk7Wb

Comment des partenaires de Pierre-Edouard Stérin mettent le milliardaire Š distance : « Il est devenu radioactif »
https://www.lemonde.fr/politique/article/2025…

Comment des partenaires de Pierre-Edouard Stérin mettent le milliardaire à distance : « Il est devenu radioactif »
Les engagements politiques à l’extrême droite de l’entrepreneur et de son numéro deux, François Durvye, conseiller du Rassemblement national, commencent à ternir l’image du groupe, en proie à des difficultés financières.

In the third century BCE, Apollonius of Perga asked how many circles one could draw that would touch three given circles at exactly one point each.
It would take 1,800 years to prove the answer: eight.
Such questions, which ask for the number of solutions that satisfy a set of geometric conditions,
were a favorite of the ancient Greeks.
And they’ve continued to entrance mathematicians for millennia.
How many lines lie on a cubic surface?
How many quadrat…

New Math Revives Geometry’s Oldest Problems | Quanta Magazine
Using a relatively young theory, a team of mathematicians has started to answer questions whose roots lie at the very beginning of mathematics.

DeepSeek says its new DeepSeekMath-V2 model got gold-medal level status on the International Mathematical Olympiad 2025 and Chinese Mathematical Olympiad 2024 (Matthias Bastian/The Decoder)
https://the-decoder.com/deepseekmath-v2-is-deepseeks-late…

DeepseekMath-V2 is Deepseek's latest attempt to pop the US AI bubble
Chinese startup Deepseek reports its new DeepseekMath-V2 model has reached gold medal status at the Math Olympiad, keeping the company in tight competition with Western AI labs.

from my link log —
Identity types.
https://bartoszmilewski.com/2025/09/22/identity-types/
saved 2025-09-26 https://dotat.…

Identity Types
Previously: Models of (Dependent) Type Theory. There is a deep connection between mathematics and programming. Computer programs deal with such mathematical objects as numbers, vectors, monoids, fu…

Gorenstein-Projective Modules over the Ring of Dual Integers
Xiu-Hua Luo (Department of Mathematics Nantong University,Mathematical Sciences Florida Atlantic University), Markus Schmidmeier (Department of Mathematics Nantong University,Mathematical Sciences Florida Atlantic University)
https://arxiv.org/abs/2509.22091

Gorenstein-Projective Modules over the Ring of Dual Integers
The ring of dual integers is the bounded polynomial ring $\mathbb Z[ε]=\mathbb Z[T]/(T^2)$ with integer coefficients. We describe the (finitely generated) Gorenstein-projective $\mathbb Z[ε]$-modules as the torsionless $\mathbb Z[ε]$-modules, or equivalently, as the perfect differential structures of abelian groups. Moreover, the stable category of G-proj$\mathbb Z[ε]$ modulo projectives is shown to be equivalent to the orbit category $\mathcal D^b(\mathbb Z)/[1]$ of the derived category of…

The Mathematician's Assistant: Integrating AI into Research Practice
Jonas Henkel
https://arxiv.org/abs/2508.20236 https://arxiv.org/pdf/2508.20236

The Mathematician's Assistant: Integrating AI into Research Practice
The rapid development of artificial intelligence (AI), marked by breakthroughs like 'AlphaEvolve' and 'Gemini Deep Think', is beginning to offer powerful new tools that have the potential to significantly alter the research practice in many areas of mathematics. This paper explores the current landscape of publicly accessible large language models (LLMs) in a mathematical research context, based on developments up to August 2, 2025. Our analysis of recent benchmarks, such as MathArena and the O…

Encoding Tactile Stimuli for Organoid Intelligence in Braille Recognition
Tianyi Liu (School of Engineering Mathematics and Technology, University of Bristol, United Kingdom), Hemma Philamore (School of Engineering Mathematics and Technology, University of Bristol, United Kingdom), Benjamin Ward-Cherrier (School of Engineering Mathematics and Technology, University of Bristol, United Kingdom)

Encoding Tactile Stimuli for Organoid Intelligence in Braille Recognition
This study proposes a generalizable encoding strategy that maps tactile sensor data to electrical stimulation patterns, enabling neural organoids to perform an open-loop artificial tactile Braille classification task. Human forebrain organoids cultured on a low-density microelectrode array (MEA) are systematically stimulated to characterize the relationship between electrical stimulation parameters (number of pulse, phase amplitude, phase duration, and trigger delay) and organoid responses, mea…

Bacterial Gene Regulatory Neural Network as a Biocomputing Library of Mathematical Solvers
Adrian Ratwatte, Samitha Somathilaka, Thanh Cao, Xu Li, Sasitharan Balasubramaniam
https://arxiv.org/abs/2509.21598

Bacterial Gene Regulatory Neural Network as a Biocomputing Library of Mathematical Solvers
Current biocomputing approaches predominantly rely on engineered circuits with fixed logic, offering limited stability and reliability under diverse environmental conditions. Here, we use the GRNN framework introduced in our previous work to transform bacterial gene expression dynamics into a biocomputing library of mathematical solvers. We introduce a sub-GRNN search algorithm that identifies functional subnetworks tailored to specific mathematical calculation and classification tasks by evalu…

The Nature of Reasoning in Theology, Philosophy, and Mathematics
Chad R. Mangum
https://arxiv.org/abs/2508.20297 https://arxiv.org/pdf/2508.20297

The Nature of Reasoning in Theology, Philosophy, and Mathematics
This article supports the epistemological claim that sound human reasoning about ultimate knowledge is either foundational or circularly justified. In particular, questions which naturally arise in theology, philosophy, and related disciplines, to the extent that they rationally treat ultimate knowledge, are necessarily supported in one of these ways. Comparisons with, contrasts to, and analogies from mathematics are given to illustrate and enhance this central claim.