bengrantmath.bsky.social
PhD candidate in math at UConn. Interested in cluster algebras, representation theory, algebraic combinatorics, dimer models, knot theory, and logic. he/him/his https://sites.google.com/view/benjamingrant
👤 Joined on 04 July 2023
Followers
Following
Total Posts
@grothenfreaky.bsky.social@grothenfreaky.bsky.social → @bengrantmath.bsky.socialSo yes, LLMs are currently solving a number of famous conjectures, and, like a malevolent genie granting us wishes, they are also making us realize that we didn't care about these conjectures all along. Because the conjectures were made for human brains to work on. •24/38
Show PostLet me expand upon this 🔽 and say something about AIs, mathematics, proofs, conjectures, problem-solving, goalposts, paperclips, genii and, more importantly, Campbell/Goodhart's law. 🧵⤵️ •1/38
Show PostSolving major open problems in math with a stochastic parrot
Show PostThe US built the greatest talent magnet ever, attracting the smart, skilled, and striving. They’d come to study, then stay and build things here, or leave with positive impressions and fruitful connections. Helped make the US wealthy and powerful. Then America chose to throw it away. And for what?
Show PostSorry but henceforth I am just blocking anyone who unironically posts this particular post or anything in its insipid bloody genre
Show Post