Tootfinder

Buchkritik: Fünf unlösbare Rätsel der Mathematik von Edmund Weitz
https://www.heise.de/tests/Buchkritik-Fuenf-unloesbare-Raetsel-der-Mathematik-von-Edmund-Weitz-10289741.html

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.

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.

Fiz uma pequena edição em um toot com uma enquete e ela resetou. 🤡
https://social.linux.pizza/@matematico314/115460883255376171

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

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…

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.

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…

ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning
Qizhi Pei, Zhuoshi Pan, Honglin Lin, Xin Gao, Yu Li, Zinan Tang, Conghui He, Rui Yan, Lijun Wu
https://arxiv.org/abs/2509.21070

ScaleDiff: Scaling Difficult Problems for Advanced Mathematical Reasoning
Large Reasoning Models (LRMs) have shown impressive capabilities in complex problem-solving, often benefiting from training on difficult mathematical problems that stimulate intricate reasoning. Recent efforts have explored automated synthesis of mathematical problems by prompting proprietary models or large-scale open-source models from seed data or inherent mathematical concepts. However, scaling up these methods remains challenging due to their high computational/API cost, complexity of prom…