Diff of Quotes at 0efa32d
@@ -1788,2 +1788,3 @@* "Number theorists be like "this is pure beauty" while spending 20 pages reindexing nested sums just to show that the claim f(n)=O(n¹⁺ᵋ log n log log log n) ∀ε>0 can be improved to f(n)=O(n log n log log log n)."-* "I am currently in a joke, but not for much longer. You will encounter me soon."\ No newline at end of file+* "I am currently in a joke, but not for much longer. You will encounter me soon."+* "you can be in the martin shkreli discord server to discuss a formal proof for navier-stokes equations made by a director of deepmind who got convinced by an LLM that he should bet his lifesavings on prediction markets about him winning a millenium prize"\ No newline at end of file