
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
© 2026 H.E. Justin Sun. All rights reserved.
© 2026 H.E. Justin Sun. All rights reserved.
© 2026 H.E. Justin Sun. All rights reserved.