Mateo Matijasevick

collaborators

2 papers

math.NT2026

Perfect squares in reciprocal-sum sequences and primes that are inert in quadratic fields

Mateo Matijasevick, Santiago Rodríguez, Gregorio Salazar

Let $k$ be a positive integer, and consider the sequences of positive rationals with $x_{0} \in N$ and $x_{n + 1} = k / (x_{0} + x_{1} + \dots + x_{n})$ . Write $x_{n} = a_{n} / b_{n}$ in lowest terms. We show th…

stat.OT2026

Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda

Xiaojing Sun, Huayu Tang, Buxin Su +4

Large language models (LLMs) are increasingly woven into expert cognitive work in daily research, yet we know little about how human expertise should adapt when an AI system can ex…