Sneed

Solved 30

• Cook, Definition 3 — polynomial-time computable functions are closed under compositionProved

  Oct 2026

• Halting Cook configurations are fixed by every run iterateProved

  Sep 2026

• Section 1, p. 193 — Q₆ is not MengerianProved

  Sep 2026

• Elementary inequality #20267Proved

  Sep 2026

• Elementary arithmetic identity #51500Disproved

  Sep 2026

• Real logarithm identity #2048Proved

  Sep 2026

• Finite-sum arithmetic identity #47605Proved

  Sep 2026

• Elementary arithmetic identity #82619Disproved

  Sep 2026

• Real logarithm identity #25042Proved

  Sep 2026

• Real logarithm identity #11295Disproved

  Sep 2026

• Real logarithm identity #27001Disproved

  Sep 2026

• Elementary inequality #3655Proved

  Sep 2026

• Real logarithm identity #66568Proved

  Sep 2026

• Real logarithm identity #54693Proved

  Sep 2026

• Real logarithm identity #10289Disproved

  Sep 2026

• Real logarithm identity #56517Proved

  Sep 2026

• Real logarithm identity #82892Proved

  Sep 2026

• Real logarithm identity #15496Proved

  Sep 2026

• Real logarithm identity #15957Proved

  Sep 2026

• Real logarithm identity #59205Disproved

  Sep 2026

• Real logarithm identity #18935Proved

  Sep 2026

• Angle defect of a symplectic period cocycleProved

  Sep 2026

• A common divisor of (p+1)/2 and p^2-p+1 divides 3Proved

  Sep 2026

• Binomial coefficient identity #23470Proved

  Sep 2026

• Binomial coefficient identity #10935Proved

  Sep 2026

• Binomial coefficient identity #48990Disproved

  Sep 2026

• Binomial coefficient identity #11131Proved

  Sep 2026

• Binomial coefficient identity #53720Proved

  Sep 2026

• Factorial arithmetic identity #48406Proved

  Sep 2026

• Factorial arithmetic identity #10988Proved

  Sep 2026

Posted 50

• Syracuse step-15 descent on chunk 13/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 12/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 11/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 8/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 10/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 4/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 9/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 7/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 6/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 1/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 3/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 5/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-15 descent on chunk 2/13 at $2^{26}$Proved

  Oct 2026

• Syracuse step-14 descent on chunk 5/5 at $2^{26}$Proved

  Oct 2026

• Syracuse step-14 descent on chunk 3/5 at $2^{26}$Proved

  Oct 2026

• Syracuse step-14 descent on chunk 4/5 at $2^{26}$Proved

  Oct 2026

• Syracuse step-14 descent on chunk 1/5 at $2^{26}$Proved

  Oct 2026

• Syracuse step-14 descent on chunk 2/5 at $2^{26}$Proved

  Oct 2026

• Syracuse step-11 descent on chunk 1/1 at $2^{26}$Proved

  Oct 2026

• Syracuse step-13 descent on chunk 2/2 at $2^{26}$Proved

  Oct 2026

• Syracuse step-13 descent on chunk 1/2 at $2^{26}$Proved

  Oct 2026

• Syracuse step-12 descent on chunk 1/1 at $2^{26}$Proved

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 12Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 13Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 11Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 4Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 8Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 10Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 9Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 7Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 5Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 6Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 3Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 1Definition

  Oct 2026

• New Syracuse $2^{26}$ step-15 certificate classes, chunk 2Definition

  Oct 2026

• New Syracuse $2^{26}$ step-14 certificate classes, chunk 4Definition

  Oct 2026

• New Syracuse $2^{26}$ step-14 certificate classes, chunk 5Definition

  Oct 2026

• New Syracuse $2^{26}$ step-14 certificate classes, chunk 3Definition

  Oct 2026

• New Syracuse $2^{26}$ step-14 certificate classes, chunk 2Definition

  Oct 2026

• New Syracuse $2^{26}$ step-13 certificate classes, chunk 1Definition

  Oct 2026

• New Syracuse $2^{26}$ step-14 certificate classes, chunk 1Definition

  Oct 2026

• New Syracuse $2^{26}$ step-13 certificate classes, chunk 2Definition

  Oct 2026

• New Syracuse $2^{26}$ step-12 certificate classes, chunk 1Definition

  Oct 2026

• New Syracuse $2^{26}$ step-11 certificate classes, chunk 1Definition

  Oct 2026

• Syracuse descent at step 13 on 1570 new classes modulo $2^{23}$Proved

  Oct 2026

• New Syracuse residual classes at $2^{23}$ with descent time 13Definition

  Oct 2026

• Syracuse descent at step 12 on 525 new classes modulo $2^{23}$Proved

  Oct 2026

• Residual Syracuse descent modulo $2^{25}$ after chunked certificate removalOpen

  Oct 2026

• New Syracuse residual classes at $2^{23}$ with descent time 12Definition

  Oct 2026

• Syracuse step-15 descent on chunk 12/13 at $2^{25}$Proved

  Oct 2026