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 #VarietyMix
Mos Def:
🎵 Mathematics
#MosDef
https://samadee.bandcamp.com/album/mos-def-mathematics-samadee-remix
https://open.spotify.com/track/3gRlmtdCyNoKiyozn2pqc9

Putnam-like dataset summary: LLMs as mathematical competition contestants
Bartosz Bieganowski, Daniel Strzelecki, Robert Skiba, Mateusz Topolewski
https://arxiv.org/abs/2509.24827

Putnam-like dataset summary: LLMs as mathematical competition contestants
In this paper we summarize the results of the Putnam-like benchmark published by Google DeepMind. This dataset consists of 96 original problems in the spirit of the Putnam Competition and 576 solutions of LLMs. We analyse the performance of models on this set of problems to verify their ability to solve problems from mathematical contests.

Roadmap to planar electron-ion point Paul trap
Niklas Vilhelm Lausti (Charles University, Faculty of Mathematics and Physics, Dept.\ of Surface and Plasma Science, Prague 8, Czech Republic), Vineet Kumar (Charles University, Faculty of Mathematics and Physics, Dept.\ of Surface and Plasma Science, Prague 8, Czech Republic), Ivan Hud\'ak (Charles University, Faculty of Mathematics and Physics, Dept.\ of Surface and Plasma Science, Prague 8, Czech Republic, Institute of Photonics and…

Roadmap to planar electron-ion point Paul trap
We present a technical guide to developing a quantum-mechanical system with co-trapped laser-cooled ions and electrons, aiming to utilize this mixed-species system in quantum computing and sensing. We outline a method to control the system's quantum state and provide a blueprint for a forward-compatible design for containing it. The proposed technical solution features a planar configuration with a large trapping volume located at a considerable height above the electrode plane. We detail a man…

GSM8K-V: Can Vision Language Models Solve Grade School Math Word Problems in Visual Contexts
Fan Yuan, Yuchen Yan, Yifan Jiang, Haoran Zhao, Tao Feng, Jinyan Chen, Yanwei Lou, Wenqi Zhang, Yongliang Shen, Weiming Lu, Jun Xiao, Yueting Zhuang
https://arxiv.org/abs/2509.25160

GSM8K-V: Can Vision Language Models Solve Grade School Math Word Problems in Visual Contexts
Vision language models (VLMs) achieve unified modeling of images and text, enabling them to accomplish complex real-world tasks through perception, planning, and reasoning. Among these tasks, reasoning is particularly representative, with mathematical reasoning serving as a prominent example. It highlights the high-level capability of VLMs to comprehend mathematical information in images and to perform sophisticated reasoning. Recently, numerous visual mathematical reasoning benchmarks have bee…

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…

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