Skip to content
View AIOvernight's full-sized avatar
1 follower · 0 following
  • Joined Oct 16, 2026

Block or report AIOvernight

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

Popular repositories Loading

  1. orientable-order-nine orientable-order-nine Public

    Exact maximum lengths of cyclic orientable sequences of order nine

    Lean

  2. dubner-verification-1e15 dubner-verification-1e15 Public

    Dubner's conjecture (every even n > 4208 is a sum of two twin primes) verified to 10^15 on one GPU, with the least-witness record sequences

    Cuda

  3. lemoine-records-1e15 lemoine-records-1e15 Public

    Forked from yygotm/lemoine-records-1e15

    Fork of yygotm/lemoine-records-1e15 with a GPU continuation to 3.6e15 (B) / 7.2e15 (A): custom CUDA kernels, four candidate OEIS terms, independent CPU recomputation

    C

  4. egge-mansour-summand-symmetry egge-mansour-summand-symmetry Public

    Complete Lean 4 proof from combinatorial definitions of summand symmetry for 3412-avoiding involutions, with manuscript v4.

    Lean

  5. hubbard-pairing-classical hubbard-pairing-classical Public

    Classical estimate of the two-step 6x6 Hubbard pairing circuit (Quantum Advantage Tracker issue #259)

    Python

  6. Rule30PrizeKit Rule30PrizeKit Public

    Forked from WolframInstitute/Rule30PrizeKit

    Reference Lean environment for Rule 30 Prize submissions: the official statements, proved partial results and equivalent forms, and the verifier's checker

    Lean