Matt Cordes @mcordes.bsky.social · 09/09/2026Some of the posts have made me think, others not. But overall, I’d say the discussion there is good quality. (And there are certainly some high profile mathematicians grappling with the issues in the blog.) 100
Matt Cordes @mcordes.bsky.social · 09/09/2026There are lots of mathematicians talking about it here: proofsandprompts.comproofsandprompts.comProofs and PromptsNotes from the common room 100
Matt Cordes @mcordes.bsky.social · 03/09/2026I used minipage (and the package dashrule to get a dashed line to indicate where to cut). \begin{minipage}[t][0.5\textheight][t]{\textwidth} \vfill \center \hdashrule[0 ex][x]{4in}{.2pt}{3mm} \end{minipage} \begin{minipage}[b][0.49\textheight][t]{\textwidth} \vfill \end{minipage} 110
Reposted by Matt CordesPetra Schwer @petraschwer.bsky.social · 10/08/2026Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience. Now here it is! Think about contributing and share it widely! proofsandprompts.com #math #mathsky #llm #AI #mathandaiproofsandprompts.comProofs and PromptsNotes from the common room 12714
Matt Cordes @mcordes.bsky.social · 23/07/2026I don’t think anything specific in the bid documents—I will bring it up at the next Spectra board meeting so we can contact the organizers and help make a plan (if there isn’t one already) 130
Matt Cordes @mcordes.bsky.social · 23/07/2026I don’t know if the bid documents will ever become public, but they do have a plan for visas. And there’s a press embargo until 2pm eastern today, so I was shocked it was on LinkedIn 321
Matt Cordes @mcordes.bsky.social · 22/07/2026Confirmed on LinkedIn! www.linkedin.com/posts/intern...linkedin.com#icm2030 #icm2030 | International Mathematical Union📍 The host of ICM 2030 has been selected. See you in Glasgow for #ICM2030! The 20th IMU General Assembly has selected Glasgow, UK as the host of the International Congress of Mathematicians 2030. Co... 020
Matt Cordes @mcordes.bsky.social · 21/07/2026Really excited that ICM 2030 will take place in Glasgow (and the General Assembly in Dublin)! Congratulations to the bid team! www.linkedin.com/posts/intern...linkedin.com#icm2030 #icm2030 | International Mathematical Union📍 The host of ICM 2030 has been selected. See you in Glasgow for #ICM2030! The 20th IMU General Assembly has selected Glasgow, UK as the host of the International Congress of Mathematicians 2030. Co... 060
Matt Cordes @mcordes.bsky.social · 13/07/2026Really nice being at this meeting! I encourage everyone to watch the session on AI and research evaluation (especially A. Figalli’s presentation)! Lots of big questions still without answers 010
Reposted by Matt CordesGro-Tsen @gro-tsen.bsky.social · 23/05/2026Very insightful short essay by Petra Schwer ( mathstodon.xyz/@PetraSchwer ): ‘The meaning of doing mathematics’ “(Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving?)” arxiv.org/abs/2509.15998arxiv.orgThe meaning of doing mathematicsCan AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to answer these question... 22712
Reposted by Matt CordesCatherine Munro @catherinemmunro.bsky.social · 08/12/2025It's the season to appreciate the names of Scottish road gritters ❄️ #Scotland #Christmas 14716286
Reposted by Matt CordesAlex Klotz @aklotz.bsky.social · 25/08/2025What if we kissed 👉👈 in the topological jellyfish 0142
Matt Cordes @mcordes.bsky.social · 08/05/2025Yes! This is what I meant! www.adobe.com/acrobat/hub/...adobe.comWhat is an accessible PDF and how to create one | Adobe AcrobatAccessible PDFs allow anyone to read your document. Learn how to create a PDF that’s easy to find, access, and interact with. 010
Reposted by Matt CordesEmily Pitts Donahoe @empittsdonahoe.bsky.social · 07/05/2025“How can we expect them to grasp what education means when we, as educators, haven’t begun to undo the years of cognitive and spiritual damage inflicted by a society that treats schooling as a means to a high-paying job, maybe some social status, but nothing more?” nymag.com/intelligence...nymag.comEveryone Is Cheating Their Way Through CollegeChatGPT has unraveled the entire academic project. 062
Reposted by Matt CordesDan Freeman @dfreeman.io · 02/05/2025Me, circa 2008: “Sure you can pull some neat tricks with it, but does the pigeonhole principle actually matter for real world day-to-day things?” Edinburgh, this morning: 031
Matt Cordes @mcordes.bsky.social · 22/04/2025I don’t have one 😅! LaTeX isn’t excellent with this either, but they’re working on it. Tbh I’ve resigned myself to learning PreTeXt to make accessible documents 020
Matt Cordes @mcordes.bsky.social · 22/04/2025I tried it and liked it, but the thing holding me back is (the last time I checked) it cannot produce accessible pdfs 100
Reposted by Matt CordesNoreen Masud @noreenmasud.bsky.social · 16/04/2025again and again and yet again the privileged’s fantasies of oppression take precedence over the marginalised’s real, daily, violent oppression 2662222
Reposted by Matt CordesCharlotte Lydia Riley @lottelydia.bsky.social · 15/08/2024Posting this extract from a lecture by John Maynard Keynes, speaking on the BBC in the middle of the Second World War, to every Labour cabinet minister 241978741
Matt Cordes @mcordes.bsky.social · 31/03/2025There’s a time for everything, even performative devotion. 020
Reposted by Matt CordesLazybrian @lazybrian.bsky.social · 03/03/2025Quark On he runway you are serving solid gold press latinum. But in the comedy challenge you forgot the 97th Rule of Acquisition, if you want to profit, dont bore Q! You're safe 310427
Reposted by Matt Cordesꭓle Ormsby 𓆙 @e-infinity.space · 04/03/2025It's also high time we recognize that all mathematics is Hazardous (and wouldn't be worth doing if it weren't). 081
Reposted by Matt CordesOURFA²M² @ourfa2m2.bsky.social · 07/02/2025Only 1 day until the fifth annual OURFA2M2 conference. Are you ready? Visit our website ourfa2m2.org to register for free! 011
Reposted by Matt CordesOURFA²M² @ourfa2m2.bsky.social · 28/12/2024 Meet 4 of our Crash Course speakers for the upcoming OURFA2M2 conference February 8-9 2025! The goal of the Crash Course talks is to inspire curiosity and give students exposure to various areas of math. For more information and to register for the event, visit our website ourfa2m2.org 021
Reposted by Matt CordesCarl T. Bergstrom @carlbergstrom.com · 01/02/2025Shout out to all the fuckwits who told me, two months ago, that scientists must strive to remain apolitical. 545502696
Reposted by Matt CordesSpencer Bagley @sbagley.bsky.social · 23/10/2024I've said it before and will doubtless have occasion to say it again: a cool 60% of everything that's wrong with higher ed stems from colleges believing that they are credentialing institutions rather than educational institutions 2202
Matt Cordes @mcordes.bsky.social · 24/09/2024Oh no—awful, that doesn’t seem to happen to me (are you using the Beamer document class?) 110
Matt Cordes @mcordes.bsky.social · 24/09/2024I think on a recent update the developer switched the order of some autocomplete things, so maybe they’re open to suggestions (I’m struggling with \vspace* as the first suggested autocomplete over \vspace) 100
Reposted by Matt CordesProf Christelle Vincent @xl772.bsky.social · 13/04/2024Lololol I broke a big scary task up into so many little tasks that I got overwhelmed and gave up 1427