Double Maths First Thing is the biscotti to your Wednesday morning coffee
Hello! My name is Colin and I am a mathematician on a mission to spread joy and delight in maths.
This week’s links
I have a difficult relationship with AI. I wrote about it here. tl;dr: it doesn’t fill me with joy and delight, although it can sometimes be useful. However, an interesting use case is in the ongoing and enormous project to formalise mathematics — using machine verification to find mistakes and gaps in proofs (or to say “yep, that’s legit!” when things do work). Via Harlan Carlens, here’s a piece about the use of AI in tackling the IMO. Something that strikes me as slightly more useful is formalising the proof of Fermat’s Last Theorem. Possibly, but not closely, related: an article about playing chess with God; I’m mainly disappointed about the lack of a “… moves in mysterious ways” joke.
In MathsJam-adjacent news, my esteemed friend Barney Maunder-Taylor took the puzzle “what is the smallest number n such that the digit sums of both n and n+1 are multiples of 7?” and turned it into an OEIS entry. I’ve done some proving around it, but have a play yourself. It’s nice!
In a rare concession to Christmas, here is a video about making cut-and-paste Christmas trees — there are PDFs linked, but the author asks that they not be distributed directly.
Lastly, there’s a live-stream about regexes for paid-up Finite Group members on Friday 20th, 8pm UK time. The Discord group is a lovely space (and I believe you can hang out there on the free tier). For me, it’s a Patreon worth supporting.
That’s all I’ve got this week! In the meantime, if you have friends and/or colleagues who would enjoy Double Maths First Thing, do send them the link to sign up — they’ll be very welcome here.
If you’ve missed the previous issues of DMFT or — somehow — this one, you can find the archive courtesy of my dear friends at the Aperiodical.
Meanwhile, if there’s something I should know about, you can find me on Mathstodon as @icecolbeveridge, or at my personal website. You can also just reply to this email if there’s something you want to tell me.
Until next time,
C