A personal Substack by mathematician Senia Sheydvasser explaining mathematical ideas and their applications, from linear algebra and machine learning to induction and proof technique. Readers get clear, concrete explanations that connect abstract theory to real uses such as PageRank and error-correcting codes.

Evidence-first long-form investigations connecting physics, AI, mathematics and complex systems, including original empirical checks such as probing government servers for post-quantum encryption support. Readers get historically grounded conceptual essays and data-driven analysis of how verification, memory and security work in practice.

A mathematician's newsletter examining how AI systems and the companies behind them are changing mathematical research, practice and authority. It covers recent AI-generated proof claims, formal verification with tools like Lean, and critical essays on what these developments mean for mathematicians and the mathematical commons.

Essays and lecture posts on the mathematics and philosophy of the infinite, covering topics such as set theory, paradoxes of infinity, ordinal definability and the logic of chess. Material is drawn from the author's book and ongoing research papers.