Here’s a bombshell for those considering the impact of the recent dump of mathematical papers by OpenAI: why the semantic translation of a mathematical text into Lean code by an AI may neither be reliable nor faithful 👉🏼 arxiv.org/abs/2610.08144

Show Post

So far today, I have arranged to have my car windshield replaced, met with a landscaper, and called to schedule an electrician (new landscaping lights require a new outdoor outlet). Having made chitchat with three strangers, I am now an empty husk.

Show Post

I was in a nursing drug calcs tutorial and the calculation was 100÷250×5. I said it doesn’t matter whether you do the “÷250” first or the “×5” first, you’ll get the same answer, so I’ll do the “×5” first to get 500÷250=2. The tutor didn’t realise you could do this, so I’m glad I helped at least her.

Show Post

It’s this time of year again …

Show Post

Helped a student with Real Analysis in #MathsToday. We were writing proofs and I was writing sentences on the page in approximately the places they would have to go. “What’s this gap?” “That’s where I’ll tell the reader what N is.” “How will you do that?” “I don’t know yet.”

Show Post