ANNOUNCEMENT SEP 16, 2026

ANNOUNCEMENT SEP 16, 2026

66 Problems. One Frontier.
Challenge the Unknown.

ANNOUNCEMENT SEP 16, 2026

66 Problems.
One Frontier.
Challenge the Unknown.

Solved Problems & Laureates

Solved Problems & Laureates

2026

JSP-000305

Are there arbitrarily long runs of consecutive integers whose prime factors all lie below the specified bound?

Lean Formalizer

Wouter van Doorn

2026

JSP-000305

Are there arbitrarily long runs of consecutive integers whose prime factors all lie below the specified bound?

Lean Formalizer

Wouter van Doorn

2026

JSP-000305

Are there arbitrarily long runs of consecutive integers whose prime factors all lie below the specified bound?

Lean Formalizer

Wouter van Doorn

2026

JSP-000371

Can the product of a short run of consecutive integers contain every small prime in a prescribed range?

Lean Formalizer

Wouter van Doorn

2026

JSP-000371

Can the product of a short run of consecutive integers contain every small prime in a prescribed range?

Lean Formalizer

Wouter van Doorn

2026

JSP-000371

Can the product of a short run of consecutive integers contain every small prime in a prescribed range?

Lean Formalizer

Wouter van Doorn

2026

JSP-000381

A primitive semiperfect number is a sum of some of its proper divisors, with no smaller divisor having that property. Does the reciprocal sum of these numbers converge?

Lean Formalizer

Wouter van Doorn

2026

JSP-000381

A primitive semiperfect number is a sum of some of its proper divisors, with no smaller divisor having that property. Does the reciprocal sum of these numbers converge?

Lean Formalizer

Wouter van Doorn

2026

JSP-000381

A primitive semiperfect number is a sum of some of its proper divisors, with no smaller divisor having that property. Does the reciprocal sum of these numbers converge?

Lean Formalizer

Wouter van Doorn

2026

JSP-000526

For distinct given integers, how many distinct representatives divisible by their respective integers can be chosen in the specified interval?

Mathematical Solver

Wouter van Doorn

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

Lean Formalizer

Wouter van Doorn

2026

JSP-000526

For distinct given integers, how many distinct representatives divisible by their respective integers can be chosen in the specified interval?

Mathematical Solver

Wouter van Doorn

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

Lean Formalizer

Wouter van Doorn

2026

JSP-000526

For distinct given integers, how many distinct representatives divisible by their respective integers can be chosen in the specified interval?

Mathematical Solver

Wouter van Doorn

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

Lean Formalizer

Wouter van Doorn

2026

JSP-000866

Among the allowed polynomials, how small can the maximum boundary length of their sublevel sets be?

Mathematical Solver

Quanyu Tang

2026

JSP-000866

Among the allowed polynomials, how small can the maximum boundary length of their sublevel sets be?

Mathematical Solver

Quanyu Tang

2026

JSP-000866

Among the allowed polynomials, how small can the maximum boundary length of their sublevel sets be?

Mathematical Solver

Quanyu Tang

2026

JSP-001001

How large can the sum of reciprocal integer-logarithm weights be over a primitive set of large integers?

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

2026

JSP-001001

How large can the sum of reciprocal integer-logarithm weights be over a primitive set of large integers?

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

2026

JSP-001001

How large can the sum of reciprocal integer-logarithm weights be over a primitive set of large integers?

Mathematical Solver

Yanyang Li

Mathematical Solver

Quanyu Tang

Follow the next announcement

Follow the next announcement

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.

The Justin Sun Prize Claim Submission

thejustinsunprize@hejustinsun.com

Press & Media

media@hejustinsun.com

Business & General Inquiry

info@hejustinsun.com

Social & Community

social@hejustinsun.com

© 2026 H.E. Justin Sun. All rights reserved.