← Feed

Posts

• Post #4242825

  Told my wife I couldn't talk to her anymore because she had reached her daily token limit. She did not take it well.

• Post #4242824

  Inserting a comma and then removing it again on all my projects so that when my collaborators log in to Overleaf and see the "Last modified" column, they'll think I've been hard at work.

• Post #4242823

  T sv tkns, rmv ll vwls frm yr prmpts

• Post #4242822

  CAUTION: This email originated from outside the University. Don't click links or open attachments unless you know the sender and know the content is safe. Also, why are you receiving emails from outside the University? Aren't we good enough for you? Is this how you repay us after all these years?

• Post #4242821

  My new favorite way of doing research-level mathematics is clicking the Continue button every once in a while.

• Post #4242820

  If someone tells you they are "architecting" something, you should be legally allowed to hit them in the face with a banana cream pie. I can't imagine this opinion being controversial.

• Post #3748695

  I asked Gemini if it's more accurate to say that LLM's are sycophantic or obsequious, and it said that was one of the best questions it had ever been asked.

• Post #1885842

  A mathematician uses first person plural in proofs to suggest to the reader that they are on a journey together. This is not dissimilar to Virgil guiding Dante through the Inferno.

• Post #1366383

  I haven't had time to install Lean so in my (very few) spare moments, I've been playing @xenaproject's Natural Number Game. At first I unknowingly played the Lean3 version. As someone who has been using automated deduction tools for two decades, I found some of it very confusing and unnatural. There were several times I had a relevant lemma and a hypothesis and all I wanted to do was a good old fashioned modus ponens, but I couldn't get it to work so I had to proc...

• Post #1258330

  @tao On BlueSky, Kevin ( @xenaproject ) said you were collecting proofs of "650 implies 448" (or really, "650 implies xy=x"). I found a 27 step Prover9 proof and have just finished "humanizing" it. I did not look at the Vampire proof, but instead started from scratch, using methodology described in [1]. I'll just email you the LaTeX'ed PDF and the Prover9 proof itself. I don't speak Lean-ish so I can't do that...

• Post #1258329

  "Michael, did this researcher, whose name and affiliation are printed so clearly, coauthor this paper with you?" No, ResearchGate, you're dreaming, go back to sleep.

• Post #1258328

  Here is what I just put under "Professional Service" in my annual self-evaluation: "I wrote about a dozen referee reports last year for various journals. I stopped keeping careful records of these because what is even the point?"

• Post #1186301

  Ganesan's Theorem: If R is a commutative ring with exactly n > 0 zero divisors, then |R| ≤ (n+1)^2. (Conventions: R does not necessarily have a unity; 0 itself is not a zero divisor.) Proof: Let a_0 = 0, let a_1,...,a_n be the n zero divisors, and set a := a_1. Let b ≠ 0 be such that ab = 0. For each x in R, (xa)b = 0, and thus xa = a_i for some i = 0,...,n. For each i, let A_i = {x | xa=a_i }. Now suppose |R| ≥ (n+1)^2+1 = n(n+1)+(n+2). By the pigeonhole principle, some A_i ha...

• Post #641950

  A letter to Taylor & Francis from (most of) what was the editorial board of Communications in Algebra. The header is by Jim Coykendall. The managing editor to whom Jim refers is Scott Chapman, who was apparently summarily dismissed by T&F. %%%%%%%%% Math friends: Last evening just before 10pm, approximately 80% of the editorial board of Communications in Algebra resigned (the joint letter of resignation is below) and it appears that at least another 10% will step down independe...