Skip to content
View 360Jorge's full-sized avatar

Block or report 360Jorge

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
360Jorge/README.md

Hi, I'm Jorge Guzman

I'm a mathematician with a strong interest in mathematical reasoning, structure, and formal thinking, and how these ideas can be translated into tools that help us understand the world more rigorously — and, ideally, improve it.

My background sits at the intersection of pure mathematics, applied modeling, and data-driven reasoning, with a growing focus on AI systems that reason mathematically, not just statistically.


Interests

  • Representation theory, algebraic topology, and mathematical structure
  • Topological Data Analysis (TDA) and geometric perspectives on data
  • Mathematical reasoning, proof, and formal methods (Lean-curious)
  • Math-first AI, interpretable models, and research-driven tooling
  • Teaching, exposition, and making advanced mathematics accessible

Current Focus

  • Developing and experimenting with Topological Data Analysis (TDA) pipelines in Python
  • Exploring connections between pure mathematics and AI-assisted reasoning
  • Building public-facing math projects, problem-solving tools, and research-style writeups
  • Preparing for graduate study with the goal of pursuing a fully funded PhD
  • Thinking seriously about how applied math and AI can impact medicine, education, and governance

Projects & Writing

  • Altered Chain — a personal research lab and writing platform where I explore math, reasoning, and AI-adjacent ideas through essays, visual explanations, and computational experiments
    https://www.alteredchain.com

  • Undergraduate research in representation theory, including computational exploration with GAP

  • Modeling and dynamical systems projects motivated by real-world phenomena


Let's Collaborate

I'm open to:

  • Research-oriented projects involving mathematics, data, or reasoning systems
  • Exploratory work at the intersection of math, AI, and formal methods
  • Educational or tooling projects that help people think mathematically

If you care about rigor, clarity, and building things that actually reason — we’ll probably get along.


Contact


Feel free to reach out or fork anything here if our interests overlap.

Pinned Loading

  1. lean-reasoning-sandbox lean-reasoning-sandbox Public

    Lean

  2. alteredchain alteredchain Public

    blog project with jekyll

    TypeScript

  3. Topology_Book Topology_Book Public

    topology book

  4. tda-iris-dataset tda-iris-dataset Public

    Analyzing the Iris dataset using scikit-tda

    Jupyter Notebook

  5. visual-proof visual-proof Public

    TypeScript

  6. mnist-tda-repro mnist-tda-repro Public

    Python