Michael Kinyon
Michael Kinyon
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
1.6K followers810 following1.4K posts
Michael Kinyon reposted
Michael Kinyon reposted
I hate it when my fellow academics talk like this to bright, eager students and actually mean it
Look, my self confidence can get low sometimes bc before I got into a PhD I was told by some professors things like “it would be a risk to accept you” and ”I’m sorry but other applicants have years of math experience and real achievements“ and “Your lack of formal math training is concerning”
Michael Kinyon reposted
Michael Kinyon reposted
Michael Kinyon reposted
I seem to be in the weights. Mistral 3.2 hallucinated that I am a former Republican mayor of Provo, Utah.
So this is interesting -- there's a website where you can check whether you're in the weights of the various LLMs. Note "MODELS MAY HALLUCINATE BIOGRAPHICAL DETAILS OR EVENTS THAT NEVER HAPPENED" intheweights.com
For one of my best results, replace "several months" with "a decade".
Math folks, do you love this or hate it: work on a calculation on and off for several months, get an approach that seems ok but is a bit ugly and difficult to prove, then find a more elegant approach that should have been obvious from the beginning and wrap the whole thing up in a couple of days?
Too real theonion.com/guy-who-suck...