Tootfinder

⛐ Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with Bézier Curves
#cs

Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with Bézier Curves
While Vision-language Models (VLMs) have demonstrated strong semantic capabilities, their ability to interpret the underlying geometric structure of visual information is less explored. Pictographic characters, which combine visual form with symbolic structure, provide an ideal test case for this capability. We formulate this visual recognition challenge in the mathematical domain, where each character is represented by an executable program of geometric primitives. This is framed as a program …

THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning
Qikai Chang, Zhenrong Zhang, Pengfei Hu, Jiefeng Ma, Yicheng Pan, Jianshu Zhang, Jun Du, Quan Liu, Jianqing Gao
https://arxiv.org/abs/2509.13761

THOR: Tool-Integrated Hierarchical Optimization via RL for Mathematical Reasoning
Large Language Models (LLMs) have made remarkable progress in mathematical reasoning, but still continue to struggle with high-precision tasks like numerical computation and formal symbolic manipulation. Integrating external tools has emerged as a promising approach to bridge this gap. Despite recent advances, existing methods struggle with three key challenges: constructing tool-integrated reasoning data, performing fine-grained optimization, and enhancing inference. To overcome these limitati…

I think we can actually prove that this constraint is the *only* constraint that can preserve freedom:
1. There will exist actors in a system who will wish to take advantage of others. Evolution drives survival and one strategy for increasing survival in an altruistic society is to become a parasite.
2. Expecting exploitative dynamics, a system needs to have a set of rules to manage exploitation.
3. If the set of rules is static it will lack the requisite variety necessary to manage the infinite possible behavior of humans so the system will fail.
4. If the system is dynamic then it must have a rule set about how it's own rules are updated. This would make the system recursive, which makes the system at least as complex as mathematics. Any system at least as complex as mathematics is necessarily either incomplete or inconsistent (Gödel's incompleteness theorem). If the system is incomplete, then constraints can be evaded which then allow a malicious agent to seize control of the system and update the rules for their own benefit. If constraints are incomplete, then a malicious agent can take advantage of others within the system.
5. Therefore, no social system can possibly protect freedom unless there exists a single metasystemic constraint (that the system must be optional) allowing for the system to be abandoned when compromised.
Oh, you might say, but this just means you have to infinitely abandon systems. Sure, but there's an evolutionary advantage to cooperation so there's evolutionary pressure to *not* be a malicious actor. So a malicious actor being able to compromise the whole system is likely to be a much more rare event. Compromising a system is a lot of work, so the first thing a malicious actor would want to do is preserve that work. They would want to lock you in. The most important objective to a malicious actor compromising a system would be to violate that metasystemic constraint, or all of their work goes out the window when everyone leaves.
And now you understand why borders exist, why fascists are obsessed with maintaining categories like gender, race, ethnicity, etc. This is why even Democrats like Newsom are on board with putting houseless people in concentration camps. And this is why the most important thing anarchists promote is the ability to choose not to be part of any of that.

Scale Up Analysis of Inductively Heated Metamaterial Reactors
Chenghao Wan, Conner Cremers, Ariana B. H\"ofelmann, Zhennan Ru, Calvin H. Lin, Kesha N. Tamakuwala, Dolly Mantle, Pinak Mohapatra, Juan Rivas-Davila, Matthew W. Kanan, Jonathan A. Fan
https://arxiv.org/abs/2509.13719

Scale Up Analysis of Inductively Heated Metamaterial Reactors
Inductively heated metamaterial reactors, which utilize an open cell lattice baffle structure as a heating susceptor for magnetic induction, are promising candidates for scaled electrified thermochemical reactor operation due to their ability to support volumetric heating profiles and enhanced heat transfer properties. In this work, we present a systematic scale up analysis of inductive metamaterial reactors where we utilize a combination of analytic modeling, numerical simulations, and experim…

research quality is often no longer measured directly by the content of publications, but increasingly by commercial indicators?
#thisplanetisdoomed
https://phys.org/news/2025-09-systematic-fraud-uncovered-mathematics.html

Valtioneuvoston ilmastovuosikertomus 2025 #ilmasto

Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study
Benjamin J. Walker, Beatriz Navarro Lameda, Ruth A. Reynolds
https://arxiv.org/abs/2509.13359

Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study
Generative artificial intelligence (GenAI) tools such as OpenAI's ChatGPT are transforming the educational landscape, prompting reconsideration of traditional assessment practices. In parallel, universities are exploring alternatives to in-person, closed-book examinations, raising concerns about academic integrity and pedagogical alignment in uninvigilated settings. This study investigates whether traditional closed-book mathematics examinations retain their pedagogical relevance when hypotheti…

Bundesdigitalministerium will über IT-Ausgaben des Bundes mitentscheiden
Sollen künftig wesentliche IT-Ausgaben aller Ressorts vom Digitalminister Karsten Wildberger freigegeben werden? Er hält daran weiter fest.

RE: https://social.linux.pizza/@matematico314/115557675202975465
Repostando porque notícia boa é pra ser compartilhada.

DMA: EU-Kommission prüft mögliche Mediendiskriminierung durch Google
Die EU-Kommission geht dem Verdacht nach, dass Google beim Ranking von Webseiten legitime Inhalte abwertet. Das soll unter anderem Medienangebote betreffen.