James Rosen-Birch ⚖️🕊️(@provisionalidea):amidst the hoopla, the social constructivist view of mathematics completely slipped my mind math as an invention rather than a discovery; an abstract formal language, created differently in different parts of the world (ethnomathematics is a fascinating field!), with which people seek to describe patterns and make sense of the world in that view, AI-generated proofs are useful (primarily to mathematicians), albeit limited in their utility, and also completely miss the point when used as anything more than fancy solvers

2026.10.08 00:16

amidst the hoopla, the social constructivist view of mathematics completely slipped my mind math as an invention rather than a discovery; an abstract formal language, created differently in different parts of the world (ethnomathematics is a fascinating field!), with which people seek to describe patterns and make sense of the world in that view, AI-generated proofs are useful (primarily to mathematicians), albeit limited in their utility, and also completely miss the point when used as anything more than fancy solvers