• by tristenharr on 6/26/2025, 11:25:41 AM

    Polylogarithm values at a golden ratio based argument paper:

    https://zenodo.org/records/15696357

    Posted 1 week ago on Zenodo, 8k views, >900 downloads, supposedly is a lot for number theory?

    I have no idea.. would love a discussion here.. do you have math friends?

  • by tristenharr on 6/26/2025, 11:23:07 AM

    Requesting help with formalization in Lean!

    Here’s what I have so far:

    https://zenodo.org/records/15744937

  • by gavinray on 6/26/2025, 12:29:22 PM

    Tristen, we used to work together.

    I mean this in the most genuine way possible: Please reach out to a mental health professional.

    Ask yourself whether it's more probable that you've solved the Riemann Hypothesis, or are having clouded thoughts.