2026-04-17 20:57:35
Pedro the #Math Cat 🐈 wants to know why it's taking me so long to grade these papers.
#cats #CatsOfMastodon
Relaxing at home and got nerd sniped again via YouTube. Looked interesting enough to give it a shot though the thumbnail was more than a bit misleading as they used `n` instead of `x` which has certain connotations associated with it.
#nerdsnipe #math
Früher hieß es, der Beweis ist trivial oder so. Das ist eine schöne Steigerung. 😉
via #math
Yay, got nerd sniped with another math problem. I made it a smidge more difficult than it should've been, but I'm happy that I got the correct answer eventually.
The problem: Given `1 / tan(x) = tan(1 / x)`, solve for `x`.
#math #nerdsnipe
Pedro the #Math Cat 🐈 helping me grade a competition problem
Say you have a machine that spits out hundreds of very long solution attempts to the Riemann hypothesis. Each is tedious and hard and then humans start reading it all until they refute most and finally find one that is correct. It’s a gigantic effort for the humans, but now they have a proof.
Did the machine then _solve_ the Riemann hypothesis?
#math
Nerd sniped myself this time: after getting sniped yesterday with showing that for primes `p >= 5` that `24 | p^2 - 1`, I decided to look at primes `p, q` where `p, q >= 5` and see if `24 | p^2 - q^2`.
#math #nerdsnipe
The #MathReviews math review of my latest joint paper 🐘 in analysis has appeared! 📙
link for subscribers=
https://mathscinet.ams.org/mathscinet/article?mr=4929931
If Gauß had had an electronic calculator, would he have proved better and more theorems or weaker and fewer?
It would have spared him days and days of rote calculation but maybe this calculation was prerequisite for insight?
#math
Pedro the #Math Cat 🐈 knows that everyone has to say "big stretch!" even when it is just a medium stretch.
#cats #CatsOfMastodon
Pedro the #Math Cat 🐈 is pretty tired after an epic #PiDay2026 #Caturday
#cats
My plan to attend #FortWayne #NoKings has been derailed by an unpleasant headcold 🤧 . So I am staying home with Pedro the #Math Cat 🐈
OK, but the results are still just paper links, not what the LLM thinks about them. So the only thing that changed is that it is much much slower now?
Maybe the LLM just formulates a query to the old scholar? Too many layers of "oh how can we build an LLM into this"...
OK, nobody in #math uses Google Scholar like this anyway. We only use it look at publication records of people and do reverse citation search (which papers cite this one I have).
For #Caturday , a sleepy Pedro the #Math Cat 🐈 with the tiniest of blep
#cats #CatsOfMastodon
Pedro the #Math Cat 🐈 has some facial expressions. This one is "unimpressed".
#cats #CatsOfMastodon #Caturday
Pedro the #Math Cat 🐈 having an equinocturnal #Caturday snooze
#cats #CatsOfMastodon