I work on rigorous mathematics, exact computation, reproducible research, and human–AI research systems. My projects pair explicit claim boundaries with proof reconstruction, independent checking, mutation controls, clean replay, and public correction paths.

Live research portfolio

Featured public preprint repositories:

• Explicit Counterexample Families to Five Finite-Group Inequalities from Graffiti3 — five scoped infinite-family refutations; database first-failure language is GAP SmallGrp/version scoped. Repository · v1.0.0-preprint release
• Largest-Index Zonotope Bounds for Planar Projections of Semiorder Ideals — bounds for planar projections of ideal hulls of represented semiorders, with exact finite corroboration; unrestricted parametric closure remains open. Repository · v1.0.0-preprint release
• Excess-Degree Bounds for Minimal Counterexamples to the Erdős–Gyárfás Conjecture — theorem for hypothetical lexicographically minimal counterexamples; the global conjecture remains open. Repository · v1.0.0-preprint release

All three are public GitHub preprint releases with external specialist review pending. They have not been peer reviewed, accepted, or submitted to a journal or arXiv. Human identity, authorship, affiliation, funding/conflict, licensing, and final-submission attestations remain human-only. See the portfolio for manuscripts, supplements, scope statements, verification summaries, and deployment status.

• Erdős Problem #409 — the released pointwise certificate proves only F(400000287233629)=104, with the consequence sup_n F(n) >= 104. Repository · v3.0.0-f104 release

This certificate makes no claim of world-record priority, unboundedness, global maximality, basin infinitude, density, inverse-tree completeness, or a solution of the global problem.

• exact and symbolic verification;
• graph theory, group theory, combinatorics, and number theory;
• independent replay and falsification instruments;
• governed human–AI research workflows;
• ETI/RR-ETI working program;
• Study 14 preregistration with no comparative runs;
• Riemann program: UNSOLVED / IN PROGRESS;
• public Erdős Problem #409 certificates only at their independently verified scope.

I direct problem selection, claim boundaries, verification standards, corrections, and release scope. AI systems assist discovery, proof and code development, checking, workflow coordination, and editing. They are not authors, external reviewers, or substitutes for mathematical evidence.

zloevseth@gmail.com · Portfolio contact page