Fragments
Thoughts, correspondence, and miscellaneous notes. A collection of unfinished ideas and fleeting moments.
2025-12-10
A First Glimpse of AI and Topos Theory: Aha Moment Brought by a Lecture at PKU
Read more →
2025-11-27
Follow-up on Hugo Duminil-Copin's Lecture: Probing SAW Universality and 4D Triviality
Read more →
2025-11-26
A Successful Star-Chase: Cutting Class for Hugo Duminil-Copin's Lecture on Self-Avoiding Walks
Read more →
2025-11-15
The "Holy War" Moves to the Server Room — Notes on Mochizuki’s Oct 2025 Report
Read more →
2025-08-03
The Tian-Cai Confluence: Geometric-Combinatorial Proof of Identity
Read more →
2025-07-30
Minecraft: The Riemann Manifold of Fun—A Hypothetical Physics Simulation
Read more →
2025-07-14
The Proper Way to Speak Like a Mathematical Maniac: A Self-created Meme
Read more →
2025-07-05
The Space Between the Lines: A Post-Gaokao Journey into Knot Theory via Nikonov's seminar
Read more →
2025-06-28
The Naming Game — From RC,Runnel, Rangnuo, Jeanot to Rinelle
Read more →
2024-07-27
Echoes of Summer — From Hopf Fibrations to Higher Algebra
Read more →
2022-12-30
Correspondence with Professor Tom Leinster: My Translation of "Rethinking Set Theory" and a Request for Guidance
Read more →
2022-10-05
The Geometry of Dialogue and the Logic of Narrative: A Taste of Linear Logic
Read more →
2022-10-03
Synthesis and Properties of a Novel Tungsten-Containing Organic Compound Based on Superchemistry Theory
Read more →
2022-07-18
The Absolute Zero: Saburou Saitoh’s Crusade to Redefine Mathematics
Read more →
2021-10-07
Unveiling Arithmetic Deformation Theory: Reflections on Fesenko’s "Notes on the work of Shinichi Mochizuki"
Read more →
2021-07-21
A Gateway to Dualities: Mirror Symmetry between Space and Structure
Read more →
2021-06-21
Prop Presentations for Linear Algebra: The Calculus
Read more →
2020-12-25
Christmas Night at Geek College: From Free Products to Asymptotic Envelopes
Read more →
2020-12-07
Initial Construction and Preliminary Properties of Chunpinative Geometry
Read more →