Skip to content
View alejandrozarco's full-sized avatar

Block or report alejandrozarco

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. thomson-n7-log thomson-n7-log Public

    AI-produced computational certificates and Lean 4 formalisation for the logarithmic (and Riesz s = 2) energy of 7 points on the sphere (pentagonal bipyramid); not peer reviewed

    Lean 2

  2. andrews-curtis-ms14 andrews-curtis-ms14 Public

    Andrews–Curtis: AC-equivalence certificate and capped exhaustive search for two length-14 Miller–Schupp presentations (AI-produced, unreviewed)

    Python

  3. covering-numbers covering-numbers Public

    AI-produced computational certificates for the covering numbers C(17,8,3), C(20,10,3), C(22,11,3) and the family C(2m,m,3) (not peer reviewed)

    Python

  4. kissing-number-3 kissing-number-3 Public

    AI-produced Lean 4 formalisation of the kissing number in dimension 3 with an exact three-point certificate (unreviewed, not peer reviewed)

    Lean

  5. ramsey-cells ramsey-cells Public

    Computation records for small graph Ramsey cells: formulas, cube decompositions, verdict ledgers, and reconstruction scripts. Unconfirmed, not peer reviewed.

    Lean

  6. smale-mean-value-degree6 smale-mean-value-degree6 Public

    AI-produced computational certificates (branch-and-bound, independent arb check, local certificates) for Smale's mean value conjecture in degree 6; not peer reviewed

    C