Post by @timnitGebru@dair-community.social

2026-07-21 15:36 UTC

When physicist & best selling author Chanda Prescod-Weinstein sent me this declaration on AI written & signed by a bunch of mathematicians, I was initially super skeptical because I had seen a whole bunch of such “declarations” which, at best, are distractions from the actual problems we should be discussing. But once I started reading, I was mostly nodding my head up and down in complete agreement and super impressed at how spot on so many of the points were. https://leidendeclaration.ai. 🧵

Replies (3)

@timnitGebru@dair-community.social 2026-07-21 15:36

Given another round of hype from these companies, now is as good a day as any to share. Some points from the document: ➡️ “Mathematical arguments are regarded as transparent and subject to independent verification. They may be extremely long or difficult, but in principle no proprietary knowledge or equipment should be required to understand them.” ➡️“Mathematicians share a concern for proper evaluation of mathematical work relative to shared standards of depth, difficulty, and significance.”

Open ##3989436
@monkeyninja@10base2.dev 2026-07-21 15:49

@timnitGebru@dair-community.social My mom is a mathematician, long since retired from working as a Systems Analyst. I had asked her what her thoughts were on AI being used for complex mathematical computations and her response was pretty succinct, though I'll remove the curse words as mom is from Brooklyn and curses like a sailor. "When I had to model the stress distribution on an unused hull model over time, I couldn't use any existing model, they didn't account for any of the statistical noise unique to this model. I had to create entirely new Kalman Filters to do it. AI can't create, it can only copy." Side note, just to kvell a bit about my mom, some of those filtration algorithms she created are still in use today. They were novel enough at the time she created them that JPL patented them and named them after her.

Open ##3990400
@alessandro@cosocial.ca 2026-07-21 16:13

@timnitGebru@dair-community.social The link doesn't work for me. Too much traffic maybe?

Open ##4019693