by tristenharr on 6/26/2025, 11:25:41 AM
by tristenharr on 6/26/2025, 11:23:07 AM
Requesting help with formalization in Lean!
Here’s what I have so far:
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.
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?