Andrew Knauft

@aknauft.bsky.social

Working on it.

Weeks ago, @chanda.blacksky.app sent me this declaration, written and signed by a bunch of mathematicians. But I only had time to read it yesterday, which ended up being right on time given a new round of hype falling exactly under the patterns this document notes.🧵 leidendeclaration.ai

Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

leidendeclaration.ai

1/5 Maybe your childhood inspiration ("This is who I want to be") was a movie star or an athlete. Mine was #Tom_Lehrer (1928-2025). I tracked down and studied the sheet music to his songs, memorized all of them (yes, including "The Elements"), and started writing & performing my own satiric ditties.

The little one has a set of 7 stacking cups. He doesn't stack them yet, preferring to interfere with Dad's towers. If he always holds two of the cups (one in each hand), how many different towers can Dad make? (Cups are each a different size, and can only stack with the immediate next size.)

A barefooted one-year-old stands behind several stacking cups. One is by itself, and four make a small tower together. The child has two more cups in hand.

This is great: "By manipulating the figure, we can create multiple instances of the situation that still follow the original constraints we set for the figure." There's an assumption there that the constraints of the software match the constraints we intended. I love poking at how that can fail!

Karen Campe@karencampe.bsky.social · 2y ago

New Blog Post: "Go For Geometry!" First in a series about using #geometry technology on ALL the platforms! Check out the activity "Invariants" on Desmos, GeoGebra & TI calculators #MTBoS #iTeachMath #T3Learns #MathSky #MathsToday karendcampe.wordpress.com/2025/01/03/g...