@jamesthebard@social.linux.pizzaRelaxing 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
@AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 helping me grade a competition problem
@qbi@freie-re.deFrüher hieß es, der Beweis ist trivial oder so. Das ist eine schöne Steigerung. 😉
via #math
@jamesthebard@social.linux.pizzaYay, 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
@AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 is pretty tired after an epic #PiDay2026 #Caturday
#cats
@AdamCoffman@mathstodon.xyz
@tomkalei@machteburch.socialSay 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
@jamesthebard@social.linux.pizzaNerd 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
@AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyzThe #MathReviews math review of my latest joint paper 🐘 in analysis has appeared! 📙
link for subscribers=
https://mathscinet.ams.org/mathscinet/article?mr=4929931
@seav@en.osm.town @tomkalei@machteburch.socialIf 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
@AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 knows that everyone has to say "big stretch!" even when it is just a medium stretch.
#cats #CatsOfMastodon
@AdamCoffman@mathstodon.xyzMy plan to attend #FortWayne #NoKings has been derailed by an unpleasant headcold 🤧 . So I am staying home with Pedro the #Math Cat 🐈
@AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 wants to know why it's taking me so long to grade these papers.
#cats #CatsOfMastodon
@AdamCoffman@mathstodon.xyz @tomkalei@machteburch.socialOK, 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).
@AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyzFor #Caturday , a sleepy Pedro the #Math Cat 🐈 with the tiniest of blep
#cats #CatsOfMastodon
@AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 has some facial expressions. This one is "unimpressed".
#cats #CatsOfMastodon #Caturday
@AdamCoffman@mathstodon.xyz @AdamCoffman@mathstodon.xyzPedro the #Math Cat 🐈 having an equinocturnal #Caturday snooze
#cats #CatsOfMastodon
