mathematical-research 开源项目推荐（28 个）

brian-hepler-phd /MRC-Network-Analysis

Project scripts for network analysis of topics discovered by Math Research Compass

adjoint-functor /zuihan-kanshu

瑞般观珠：主要面向 ChatGPT 的 Work 和 Chat，支持数学问答、持续研究、证明核验、文献检索和数学文稿写作。

coker412 /graph-geometry-research-workspace

A Codex research workbench for discrete geometry and geometric analysis

chientrm /mathre

Research exploring mathematics as cosmic memory through computational learning - supporting toolkit for "The Pretrained Universe Hypothesis"

wizardpc-com /autonomous-math-ai

Auditable, falsification-first AI orchestration for long-horizon mathematical research, with independent verification and reproducible evidence.

grwtsk /math

Mathematical signal that steers AI discovery: constructions, cross-domain connections, examples, obstructions, and open questions, grounded in formal sources and source-bound evidence.

the-math-gremlin /ZetaZeroSieve

A modular harmonic sieve for detecting nontrivial Riemann zeta zeros through phase-locked resonance, leveraging the interplay of base-3 and base-π spirals to isolate precise zero locations without statistical approximation. Ideal for mathematical research, numerical experiments, and algorithm development.

yevhenii-volynets /lemmatrace

A durable trust layer for LLM mathematical research — explore freely while preserving what is actually established.

AEjonanonymous /Hodge-Conjecture

A Structural Reduction of the Hodge Conjecture in Lean 4 via Mumford-Tate Weight Gradings and Hodge-Riemann Bilinear Relations.

jieliu-maths /AI-Research-Workflow

AI4Math-first research workflow with proof ledgers, independent review, and human-approved results. Experimental AI4S profile included.

Jackmonwang-mona /Lorentzian-polynomials_reading_group

This is the website of a directed study project about Lorentzian polynomials and bounded ratios of them, displaying weekly talks, shared notes and research papers.

Kohze /openai-mathematical-frontiers-review

Comparative mathematics review with LaTeX, source evidence, and exact explanatory checks.

Saw-mon-and-Natalie /hyperbolic-egan-conjecture

A Lorentzian approach to a hyperbolic analogue of the Egan–Drozdov simplex inequality.

wu1chenghui /hermes-math-template

该项目在 GitHub 上没有填写描述

OMPSHUNYAYA /Shunyaya-Theorem-Reproducibility-Framework

Mathematics that can be rebuilt — a finite mathematical framework for reconstructing theorem systems under failures, with a universal continuation classification by canonical normal forms, constructive distinguishing continuations, bounded-width algorithms, and reproducible verification — Shunyaya Theorem Reproducibility Framework.

Elsbernd09 /project-ebu

Independent research in Navier–Stokes regularity, Paley–Wiener rigidity, and nonlinear obstruction theory.

Caie777 /math-research-ledger

Persistent research memory, context, dependency tracking and verification for long-horizon mathematical research agents.

bkphn /algebra-of-chains

An original mathematical framework formalizing operations on continued fractions without evaluating their rational values.

OMPSHUNYAYA /Shunyaya-Structural-Discovery-Compiler

A structural-discovery framework for discovering theorem-revealing representations, with proved local-to-global graph structure, intrinsic defect parameters, and independent Python/C++ verification — the Shunyaya Structural Discovery Compiler (SSDC).

HMarcusWH /zeta-23-lean

Lean-backed Riemann Hypothesis research programme integrating Permansson, OoL, FFBBP, and Allfather-style research control and epistemic governance.