wake me up when AI will solve Riemann[math] \frac{s(s-1)}{2} \pi^{-\frac{s}{2}} \Gamma \left(\frac{s}{2}\right) \zeta(s) = (s-1) \pi^{-\frac{s}{2}} \Gamma \left(\frac{s}{2} + 1\right) \zeta(s)[/math]
>>17070625If you believe the new preprints, AI is probably the closest that anyone has ever gotten to it.
>>17070625Good night frog.
>>17070625Wake up froggo!Just joking.
"Frogs and pals"
>>17070625Serious mathematician frog
>>17070625It's over mathie...
bump
>>17070722AI solving it would be funny.
>>17070625Go to sleep frog.
>>17070625"Frogs and Pals"
@grok saar please do the needful and solve the reiman hypocrisis
>>17078048On the other hand, it never really started for you in the first place, kek.AI companies will still need mathies for a few decades to guide those shitty language models toward something resembling a formal proof and also verify the final AI slop.
