Joshua Grochow's Avatar

Joshua Grochow

@joshuagrochow.bsky.social

Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) https://home.cs.colorado.edu/~jgrochow

2,370 Followers  |  485 Following  |  1,402 Posts  |  Joined: 24.07.2023  |  2.3516

Latest posts by joshuagrochow.bsky.social on Bluesky

Here's the reality this example illustrates:

It's not even just about people blindly trusting what ChatGPT tells them. LLMs are poisoning the entire information ecosystem. You can't even necessarily trust that the citations in a published paper are real (or a search engine's descriptions of them).

05.12.2025 23:15 โ€” ๐Ÿ‘ 728    ๐Ÿ” 215    ๐Ÿ’ฌ 11    ๐Ÿ“Œ 17

Clopen

06.12.2025 00:56 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

When you fold your pizza it can even be a closed-face sandwich

06.12.2025 00:20 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

The current 27 quote posts on bsky.app/profile/oliv... are a pretty good summary of my thoughts on it so far.

06.12.2025 00:17 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Figure 6. The quotientope lattice for n = 4: all quotientopes ordered by inclusion (which corresponds to refinement of the lattice congruences). We only consider lattice congruences whose fan
is essential. We have highlighted the cube (green), Lodayโ€™s associahedron [Lod04] (blue), another
one of Hohlwegโ€“Langeโ€™s associahedra [HL07] (purple), the diagonal rectangulation polytope [LR12]
(orange), and the permutahedron (red). Adapted from [PS19, Fig. 9].

Figure 6. The quotientope lattice for n = 4: all quotientopes ordered by inclusion (which corresponds to refinement of the lattice congruences). We only consider lattice congruences whose fan is essential. We have highlighted the cube (green), Lodayโ€™s associahedron [Lod04] (blue), another one of Hohlwegโ€“Langeโ€™s associahedra [HL07] (purple), the diagonal rectangulation polytope [LR12] (orange), and the permutahedron (red). Adapted from [PS19, Fig. 9].

This diagram should win some kind of prize for mathematical illustration. From arxiv.org/abs/2305.08471. ๐Ÿงฎ

05.12.2025 22:27 โ€” ๐Ÿ‘ 37    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

But was it made in TikZ? (/s /g)

05.12.2025 23:40 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

In & near my area of expertise, I see a pattern that some experts save themselves time using GenAI, and more & more novices get led astray by it (and then waste experts' time finding & fixing their mistakes).

I take this as yet another sign that neither experts nor novices should be using it.

05.12.2025 21:44 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

y'all I was approved for extra time accommodations today and it was super easy! I just lived with undiagnosed ADHD for 30 years, dropped out of school twice, suffered a lot of academic trauma, spent untold amounts on mental health treatment, and then took 16 months to fill out the paperwork!

05.12.2025 15:51 โ€” ๐Ÿ‘ 31    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I think the source code per se isn't the issue. I think part of the reason that Google Scholar is so (relatively) good is that they are using Google's index of the entire web as their first source of data. So they get to take advantage of the entire infrastructure of crawling, storage, search, etc.

05.12.2025 18:57 โ€” ๐Ÿ‘ 8    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Sex, lies, and iron deficiency: a call to change ferritin reference ranges Abstract. Iron deficiency is a very common and treatable disorder. Of all the tests available to diagnose iron deficiency, the serum ferritin is the most a

lol WHAT thereโ€™s no physiological reason womenโ€™s iron store range would be healthy at a lower level than menโ€™s but they set the ranges based on populational distribution WITHOUT CONSIDERING more than 2.5% of women might be deficient!!

ashpublications.org/hematology/a...

05.12.2025 17:21 โ€” ๐Ÿ‘ 25    ๐Ÿ” 7    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 4

Is there any realistic alternative because the profiles with pdfs and whatever are so useful? Shall we build one?

05.12.2025 18:25 โ€” ๐Ÿ‘ 55    ๐Ÿ” 16    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 0

Remember folks, during winter every ten degree temperature drop lowers your tireโ€™s PSI by 1 so itโ€™s very important to go to the gas station and notice that the air thing doesnโ€™t work and then do that five more times at five different gas stations

05.12.2025 14:59 โ€” ๐Ÿ‘ 3443    ๐Ÿ” 432    ๐Ÿ’ฌ 130    ๐Ÿ“Œ 42

After staring at this plot for too long, I have convinced myself that

log(x) = lim_{mโ†’0} (xแต-1)/m

is not such a bad definition of the natural logarithm. www.desmos.com/calculator/b...

05.12.2025 15:01 โ€” ๐Ÿ‘ 15    ๐Ÿ” 2    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0

#Mathsky

Are we aware that money is being spent to outsource mathematical inspiration to a plagiarizing water wasting machine? Instead of giving money and water to nurture mathematics in existing communities? This is a colonizer mindset. Life has to be more important than "discovery."

05.12.2025 14:55 โ€” ๐Ÿ‘ 27    ๐Ÿ” 8    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

Started a thread in the other place and bringing it over here - I really think we should be more vocal about the opportunities that lay at the intersection of these two options!

So I'm starting a live thread of new roles as I become aware of them - feel free to add / extend / share :

29.10.2025 02:25 โ€” ๐Ÿ‘ 92    ๐Ÿ” 28    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 2
Preview
The U.S. Is Funding Fewer Grants in Every Area of Science and Medicine A quiet policy change means the government is making fewer bets on long-term science.

The U.S. Is Funding Fewer Grants in Every Area of Science and Medicine www.nytimes.com/interactive/...

02.12.2025 18:42 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

โ€œThank you for your effort, and for keeping us safe with your work.โ€ She smiled SO genuinely, probably the most genuine smile Iโ€™ve seen in a while. How often we fail to thank the people who quietly keep our surroundings running well. It also smelled like lavender. We should thank more often

02.12.2025 23:42 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

The anxious feeling of pushing code to production is so very similar to the feeling of pushing โ€˜submitโ€™ for sending a manuscript to a journal ๐Ÿซฃ Even after 20 years as an academic

02.12.2025 23:50 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Am I the only one that thinks of the Death Star when hearing the phrase "fully operational"?

03.12.2025 17:03 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Once you gave it the statement am I reading the transcript correctly that the model output a correct proof independently?

03.12.2025 16:59 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Concrete, Pictorial, Abstract: Using the CPA Method in Upper Elementary Math Teachers can help students build deeper math understanding and confidence by introducing concepts in distinct stages.

Studies have shown multiple benefits of the CPA method (Concrete, Pictorial, Abstract): better test scores, deeper conceptual understanding, and boosts in mathematical confidence. ๐ŸŒŸ

Hereโ€™s how to use it in your classroom.

#MathSky #ITeachMath #ElementaryTeacher

02.12.2025 23:42 โ€” ๐Ÿ‘ 5    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
On the Irreducible Character Degrees of Symmetric Groups and their Multiplicities We consider problems concerning the largest degrees of irreducible characters of symmetric groups, and the multiplicities of character degrees of symmetric groups. Using evidence from computer experiments, we posit several new conjectures or extensions of previous conjectures, and prove a number of results. One of these is that, if n >= 21, then there are at least eight irreducible characters of S_n, all of which have the same degree, and which have irreducible restriction to A_n. We explore similar questions about unipotent degrees of GL_n(q). We also make some remarks about how the experiments here shed light on posited algorithms for finding the largest irreducible character degree of S_n.

"On the Irreducible Character Degrees of Symmetric Groups and their Multiplicities" by David A. Craven. #ExperimentalMath #RepresentationTheory #SymmetricGroups #MathSky

03.12.2025 09:25 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I love it when people talk to me as if I neither am disabled nor actually study this in my own work. But let me pitch someone else's work here, Doron Dorfman's "Fear of the Disability Con."
Sharing it for everyone feeding the fear of the disability con right now:

papers.ssrn.com/sol3/papers....

03.12.2025 13:35 โ€” ๐Ÿ‘ 237    ๐Ÿ” 89    ๐Ÿ’ฌ 8    ๐Ÿ“Œ 6

Adding "-ai" to the end of my searches becoming second nature on normal google now they're adding it to scholar too ๐Ÿ˜ญ

03.12.2025 16:08 โ€” ๐Ÿ‘ 41    ๐Ÿ” 2    ๐Ÿ’ฌ 6    ๐Ÿ“Œ 2
Preview
AI is Destroying the University and Learning Itself Students use AI to write papers, professors use AI to grade them, degrees become meaningless, and tech companies make fortunes. Welcome to the death of higher education.

โ€žCSUโ€”USโ€™s largest public uni systemโ€”went all-in with a $17mill partnership with OpenAI. . .CSU unveiled its grand technological gesture just as it proposed slashing $375mill from its budget. While admin cut ribbons on AI, they were cutting faculty positions, academic programs, student services.โ€œ

03.12.2025 05:43 โ€” ๐Ÿ‘ 386    ๐Ÿ” 189    ๐Ÿ’ฌ 9    ๐Ÿ“Œ 33
Dear [TEACHER],

I want to make sure we're on the same page for the rest of the year, because I was surprised and disappointed to hear that you uploaded student projects to ChatGPT.

We have always found [SCHOOL] to be a place that encourages students to express themselves creatively, to be responsible and aware of how their actions affect others, and to be intellectually honest โ€“ doing their own work, rather than copying from others.

I know ChatGPT has been heavily marketed as an educational tool, but everything about it is the opposite of those values. AI tools are built by training models on stolen work. They have huge and terrible environmental costs, because their data centers generate enormous amounts of pollution and are cooled with drinking water. They're also incredibly dangerous: tools like ChatGPT have taught children how to start fires and even encouraged them to commit suicide.

And in a classroom setting, it teaches students that a machine can express their ideas better than they can. I told [ CHILD ] I was interested in seeing what they had to draw, and my heart sank when they told me "but I can't draw that pretty." Children deserve to draw what they imagine.

These environmental, ethical, and pedagogical concerns are why I don't want [ CHILD ] to use AI tools (or for you to use them on their behalf). For the same reasons, I respectfully ask that you stop using them in your classroom.

If you do plan to use AI this year, please send home a permission slip requesting consent. There are important privacy concerns when you upload student work into a for-profit service like ChatGPT.

Thank you,
[ PARENT ]

Dear [TEACHER], I want to make sure we're on the same page for the rest of the year, because I was surprised and disappointed to hear that you uploaded student projects to ChatGPT. We have always found [SCHOOL] to be a place that encourages students to express themselves creatively, to be responsible and aware of how their actions affect others, and to be intellectually honest โ€“ doing their own work, rather than copying from others. I know ChatGPT has been heavily marketed as an educational tool, but everything about it is the opposite of those values. AI tools are built by training models on stolen work. They have huge and terrible environmental costs, because their data centers generate enormous amounts of pollution and are cooled with drinking water. They're also incredibly dangerous: tools like ChatGPT have taught children how to start fires and even encouraged them to commit suicide. And in a classroom setting, it teaches students that a machine can express their ideas better than they can. I told [ CHILD ] I was interested in seeing what they had to draw, and my heart sank when they told me "but I can't draw that pretty." Children deserve to draw what they imagine. These environmental, ethical, and pedagogical concerns are why I don't want [ CHILD ] to use AI tools (or for you to use them on their behalf). For the same reasons, I respectfully ask that you stop using them in your classroom. If you do plan to use AI this year, please send home a permission slip requesting consent. There are important privacy concerns when you upload student work into a for-profit service like ChatGPT. Thank you, [ PARENT ]

I ended up drafting an email that didn't really lean on research specific to grade school education, but expressed my concerns in the most basic terms.

I removed the personal details and have shared it as a template here for folks who might find it useful:
bit.ly/TeacherEmail...

02.12.2025 16:39 โ€” ๐Ÿ‘ 84    ๐Ÿ” 42    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 8

Google Maps has added AI information to its search results and there's no way to turn it off.
#Enshittificatiom

02.12.2025 15:18 โ€” ๐Ÿ‘ 8    ๐Ÿ” 2    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1

I cannot stress enough just how much wide LLM adoption is harming the human capacity to *try*. To just do things on your own, to think critically about a topic or a problem, to read and synthesize ideas. These are such important skills and weโ€™re just giving them up.

26.11.2025 20:31 โ€” ๐Ÿ‘ 52    ๐Ÿ” 21    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

Why would we want to accept something that removes human agency and critical thought? Like, quite literally, we are building systems that are making us less capable and less interesting human beings.

26.11.2025 20:27 โ€” ๐Ÿ‘ 32    ๐Ÿ” 10    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0
Preview
โ€˜Reverse Mathematicsโ€™ Illuminates Why Hard Problems Are Hard | Quanta Magazine Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.

What does counting pigeons have to do with Turing machines? More than you might think. In @quantamagazine.bsky.social, my latest foray into the wild world of meta-complexity, this time through the lens of mathematical logic:

01.12.2025 15:31 โ€” ๐Ÿ‘ 17    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

@joshuagrochow is following 19 prominent accounts