soc.octade.net is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.

This server runs the snac software and there is no automatic sign-up process.

Admin email
social@octade.net

Search results for tag #numbertheory

[?]Rémi Eismann » 🌐
@decompwlj@mathstodon.xyz

Deep analysis of the decomposition into weight × level + jump by Fable 5:
455 052 508 primes decomposed;
Conjecture 9 proved (pending external refereeing).
Fifth report:
➡️ decompwlj.com/decompwlj_deep_a

For privacy ➡️ web.archive.org/web/2026071409

Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

    [?]Rémi Eismann » 🌐
    @decompwlj@mathstodon.xyz

    Deep analysis of the decomposition into weight × level + jump by Fable 5:
    455 052 508 primes decomposed;
    Conjecture 9 proved (pending external refereeing).
    Fifth report:
    ➡️ decompwlj.com/decompwlj_deep_a

    For privacy ➡️ web.archive.org/web/2026071409

    Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

    Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

      [?]Rémi Eismann » 🌐
      @decompwlj@mathstodon.xyz

      Deep analysis of the decomposition into weight × level + jump by Fable 5:
      455 052 508 primes decomposed;
      Conjecture 9 proved (pending external refereeing).
      Fifth report:
      ➡️ decompwlj.com/decompwlj_deep_a

      For privacy ➡️ web.archive.org/web/2026071409

      Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

      Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

        [?]Rémi Eismann » 🌐
        @decompwlj@mathstodon.xyz

        Deep analysis of the decomposition into weight × level + jump by Fable 5:
        455 052 508 primes decomposed;
        Conjecture 9 proved (pending external refereeing).
        Fifth report:
        ➡️ decompwlj.com/decompwlj_deep_a

        For privacy ➡️ web.archive.org/web/2026071409

        Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

        Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

          [?]Rémi Eismann » 🌐
          @decompwlj@mathstodon.xyz

          Deep analysis of the decomposition into weight × level + jump by Fable 5:
          455 052 508 primes decomposed;
          Conjecture 9 proved (pending external refereeing).
          Fifth report:
          ➡️ decompwlj.com/decompwlj_deep_a

          For privacy ➡️ web.archive.org/web/2026071409

          Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

          Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

            [?]Rémi Eismann » 🌐
            @decompwlj@mathstodon.xyz

            Deep analysis of the decomposition into weight × level + jump by Fable 5:
            455 052 508 primes decomposed;
            Conjecture 9 proved (pending external refereeing).
            Fifth report:
            ➡️ decompwlj.com/decompwlj_deep_a

            For privacy ➡️ web.archive.org/web/2026071409

            Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

            Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

              [?]Rémi Eismann » 🌐
              @decompwlj@mathstodon.xyz

              Deep analysis of the decomposition into weight × level + jump by Fable 5:
              455 052 508 primes decomposed;
              Conjecture 9 proved (pending external refereeing).
              Fifth report:
              ➡️ decompwlj.com/decompwlj_deep_a

              For privacy ➡️ web.archive.org/web/2026071409

              Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

              Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                [?]Rémi Eismann » 🌐
                @decompwlj@mathstodon.xyz

                Deep analysis of the decomposition into weight × level + jump by Fable 5:
                455 052 508 primes decomposed;
                Conjecture 9 proved (pending external refereeing).
                Fifth report:
                ➡️ decompwlj.com/decompwlj_deep_a

                For privacy ➡️ web.archive.org/web/2026071409

                Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                  [?]Rémi Eismann » 🌐
                  @decompwlj@mathstodon.xyz

                  Deep analysis of the decomposition into weight × level + jump by Fable 5:
                  455 052 508 primes decomposed;
                  Conjecture 9 proved (pending external refereeing).
                  Fifth report:
                  ➡️ decompwlj.com/decompwlj_deep_a

                  For privacy ➡️ web.archive.org/web/2026071409

                  Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                  Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                    [?]Rémi Eismann » 🌐
                    @decompwlj@mathstodon.xyz

                    Deep analysis of the decomposition into weight × level + jump by Fable 5:
                    455 052 508 primes decomposed;
                    Conjecture 9 proved (pending external refereeing).
                    Fifth report:
                    ➡️ decompwlj.com/decompwlj_deep_a

                    For privacy ➡️ web.archive.org/web/2026071409

                    Screenshot: Conjecture 9 from the 5th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                    Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

                      [?]Rémi Eismann » 🌐
                      @decompwlj@mathstodon.xyz

                      Fifth report:
                      A new minor theorem C;
                      PARI/GP restored;
                      π(10^10) 455 052 511 — exact; decomposable 455 052 508 = π − #{2, 3, 7}✓ fresh.

                      Fifth report:
                      ➡️ decompwlj.com/decompwlj_deep_a

                      For privacy ➡️ web.archive.org/web/2026071409

                      Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

                      Alt...Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

                        [?]Rémi Eismann » 🌐
                        @decompwlj@mathstodon.xyz

                        Fifth report:
                        A new minor theorem C;
                        PARI/GP restored;
                        π(10^10) 455 052 511 — exact; decomposable 455 052 508 = π − #{2, 3, 7}✓ fresh.

                        Fifth report:
                        ➡️ decompwlj.com/decompwlj_deep_a

                        For privacy ➡️ web.archive.org/web/2026071409

                        Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

                        Alt...Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

                          [?]Rémi Eismann » 🌐
                          @decompwlj@mathstodon.xyz

                          In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                          I would be grateful if a number theorist could conduct an external review.

                          4th report:

                          ➡️ decompwlj.com/decompwlj_deep_a

                          For privacy ➡️ web.archive.org/web/2026071009

                          Screenshot: Conjecture 9 from the 4th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                          Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                            [?]Rémi Eismann » 🌐
                            @decompwlj@mathstodon.xyz

                            In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                            I would be grateful if a number theorist could conduct an external review.

                            4th report:

                            ➡️ decompwlj.com/decompwlj_deep_a

                            For privacy ➡️ web.archive.org/web/2026071009

                            Screenshot: Conjecture 9 from the 4th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                            Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                              [?]Rémi Eismann » 🌐
                              @decompwlj@mathstodon.xyz

                              In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                              I would be grateful if a number theorist could conduct an external review.

                              4th report:

                              ➡️ decompwlj.com/decompwlj_deep_a

                              For privacy ➡️ web.archive.org/web/2026071009

                              Screenshot: Conjecture 9 from the 4th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                              Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                                [?]Rémi Eismann » 🌐
                                @decompwlj@mathstodon.xyz

                                In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                                I would be grateful if a number theorist could conduct an external review.

                                4th report:

                                ➡️ decompwlj.com/decompwlj_deep_a

                                For privacy ➡️ web.archive.org/web/2026071009

                                Screenshot: Conjecture 9 from the 4th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                                Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                                Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                                Alt...Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                                  [?]Rémi Eismann » 🌐
                                  @decompwlj@mathstodon.xyz

                                  In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                                  I would be grateful if a number theorist could conduct an external review.

                                  4th report:

                                  ➡️ decompwlj.com/decompwlj_deep_a

                                  For privacy ➡️ web.archive.org/web/2026071009

                                  @tao

                                  Screenshot: Conjecture 9 from the 4th report by Fable.
"Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                                  Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                                  Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                                  Alt...Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes