Issues

• [Problem] Lu-Raz quadratic union-closure count: completed proof and scope/eligibility inquiry

  TheJustinSunPrize/awards#5130 · Filter by author renxuhang opened on Oct 23, 2026
  1

• [Problem] Eligibility inquiry: Raz's counterexample to the Reimer-condition strengthening

  TheJustinSunPrize/awards#5124 · Filter by author renxuhang opened on Oct 21, 2026
  1

• [Award claim] JSP-000301

  TheJustinSunPrize/awards#5116 · Filter by author WK-Luo opened on Oct 19, 2026

• [Award claim] JSP-000907

  TheJustinSunPrize/awards#5114 · Filter by author aujurd22 opened on Oct 19, 2026

• [Feedback] Sharing aiXiv with the AI-assisted mathematics community

  TheJustinSunPrize/awards#5112 · Filter by author universea opened on Oct 19, 2026

• [Award claim] JSP-000139

  TheJustinSunPrize/awards#5067 · Filter by author Robert1w0n5u3u4u51g opened on Oct 14, 2026

• [Correction] JSP-000494: first public solution is 2026, not SzTr83 (1983)

  TheJustinSunPrize/awards#5054 · Filter by author raphaeldelors-code opened on Oct 14, 2026

• [Feedback] Is an externally published finite computation an acceptable trust dependency for a Lean proof?

  TheJustinSunPrize/awards#5041 · Filter by author zsw1234 opened on Oct 13, 2026
  1

• [Correction] JSP-000047 — statement drops the "moduli > 1" convention (trivial witness {(0,1)})

  TheJustinSunPrize/awards#5035 · Filter by author universe2explorer opened on Oct 13, 2026

• [Problem] Erdos 1092: hereditary edge budgets and scope confirmation

  TheJustinSunPrize/awards#5024 · Filter by author Wang060919 opened on Oct 12, 2026

• [Award claim] JSP-000868

  TheJustinSunPrize/awards#5020 · Filter by author universe2explorer opened on Oct 12, 2026

• [Award claim] JSP-000301

  TheJustinSunPrize/awards#5017 · Filter by author universe2explorer opened on Oct 12, 2026

• [Feedback] JSP-000936: unit-circle scope and combined coverage

  TheJustinSunPrize/awards#5007 · Filter by author Wang060919 opened on Oct 11, 2026

• [Feedback] Review and merge request for nine math and Lean submissions

  TheJustinSunPrize/awards#5002 · Filter by author JENW1N opened on Oct 11, 2026

• [Award claim] JSP-000256: Lean formalization (Formalizer, Erdős Problem #305)

  TheJustinSunPrize/awards#4992 · Filter by author fuliufu opened on Oct 10, 2026

• [Award claim] JSP-000301

  TheJustinSunPrize/awards#4984 · Filter by author fuliufu opened on Oct 10, 2026

• [Problem] Global Cognitive Discontinuity: Failure to Demodulate the Universal Magnetohydrodynamic (MHD) Vacuum Environment

  TheJustinSunPrize/awards#4979 · Filter by author NgoiSigma opened on Oct 10, 2026

• [Feedback] JSP-000032: scope of a complete dimension-two negative answer

  TheJustinSunPrize/awards#4951 · Filter by author xhao0307 opened on Oct 10, 2026

• [Problem] Every finite tree with exactly five leaves is graceful

  TheJustinSunPrize/awards#4924 · Filter by author JENW1N opened on Oct 10, 2026

• Scope request: complete questions within Erdős 18, 96, 272, 354 and 790

  TheJustinSunPrize/awards#4923 · Filter by author JENW1N opened on Oct 10, 2026
  1

• [Problem] Green 24 / Aaronson: the sharp asymptotic constant for affine copies of {0,1,3}

  TheJustinSunPrize/awards#4922 · Filter by author JENW1N opened on Oct 10, 2026

• [Problem] Every polynomial minimal graph in domain dimension eight is affine

  TheJustinSunPrize/awards#4921 · Filter by author JENW1N opened on Oct 10, 2026

• [Problem] Polynomial minimal graphs of degree at most four are affine

  TheJustinSunPrize/awards#4920 · Filter by author JENW1N opened on Oct 10, 2026

• [Problem] Bala’s A141057 supercongruence at all nonzero integer indices

  TheJustinSunPrize/awards#4919 · Filter by author JENW1N opened on Oct 10, 2026

• [Problem] Dillies’s convex additive-VC₂ bound in three dimensions

  TheJustinSunPrize/awards#4918 · Filter by author JENW1N opened on Oct 10, 2026