#

metric-geometry

Here are 4 public repositories matching this topic...

n0zer0d4y / first-proof-batch2-c3-c4

AI-generated solutions to two research-level math problems from the First Proof community experiment: a Yang-Mills gauge-fixing heat-flow estimate on the 2-torus, and sharp fatness of geodesic triangles in sparse random graphs. Produced autonomously in Claude Code, offered for human validation.

random-graphs erdos-renyi gauge-theory mathematical-proof yang-mills claude-code metric-geometry ai-for-math

Updated Jul 8, 2026
TeX

Terry-Kao / TechOrb-Hubble-Validator

A geometric solution to the Hubble Tension based on the Tech-Orb hypothesis.

mcmc-sampling tensor-calculus human-ai-collaboration theoretical-cosmology metric-geometry pantheon-survey hubble-tension-resolution manifold-projection

Updated Feb 20, 2026
Python

sneed-and-feed / lean-theorems-3

lean theorems

mathematics combinatorics arithmetic-progression mathlib spectral-graph-theory regularity gauge-theory lean4 additive-combinatorics differential-topology hodge-theory mirror-symmetry metric-geometry expander-graphs

Updated Sep 3, 2026
Lean

shblue21 / petrunin-o3-comparison-proof-candidate

Exact computer-assisted proof candidate for octahedron comparison in geodesic CAT(0) spaces

semidefinite-programming graph-comparison computer-assisted-proof exact-computation metric-geometry cat0-geometry proof-candidate ai-assisted-mathematics

Updated Aug 3, 2026
Python

Add this topic to your repo

To associate your repository with the metric-geometry topic, visit your repo's landing page and select "manage topics."