When AI Produces Proofs Without the Mathematical Trail

OpenAI’s October 2026 mathematics release contains 722 manuscripts grouped into 372 related result families.

#mathematics #aiproofs #formalverification #mathculture

This is what my students said about community in Week 1 of the course #MathCommunity #MathEd #TeachMath #MathTeachers #MathChat #MathForAll #MathEquity #SocialJusticeMath #MathIsHuman #STEMCommunity #DataViz #MathInRealLife #MathStory #CommunityOfPractice #MathCulture

Reading Knotting Numbers with my class #ethnomath #MathIsHuman #DataViz #MathCommunity #MathEd #TeachMath #MathTeachers #MathChat #MathForAll #MathEquity #SocialJusticeMath #MathIsHuman #STEMCommunity #MathInRealLife #MathStory #CommunityOfPractice #MathCulture

Week 4 ... we are moving along the trajectory #MathIsHuman #DataViz #MathCommunity #MathEd #TeachMath #MathTeachers #MathChat #MathForAll #MathEquity #SocialJusticeMath #MathIsHuman #STEMCommunity #MathInRealLife #MathStory #CommunityOfPractice #MathCulture

“Pause. Don’t fix it yet.” That line stuck with me—and reshaped the way I listen to students in math class says @queenmather. What might happen if we stopped rushing in? 🎧 shorturl.at/XvLJd

#LetThemThink #MathCulture #BlueGlassesMath

Thanks to @adrianmendozaed for the reminder that language is a tool for deepening understanding.

#multilinguallearners
#ELL #ELLs #ESL #ESLteacherlife #TESOL
#mathematicseducation #mathteacher #mathed
#differentiatedinstruction #equityineducation#MathLeadership #MathCulture #EquityInMath