Post AxEDyGUwkKSwiZH0YS by chadgeidel@mastodon.cloud
 (DIR) More posts by chadgeidel@mastodon.cloud
 (DIR) Post #AxEDyGUwkKSwiZH0YS by chadgeidel@mastodon.cloud
       2025-08-15T21:09:19Z
       
       0 likes, 0 repeats
       
       Today i learned about "centaurs" and "reverse-centaurs" from @pluralistic https://pluralistic.net/2025/08/04/bad-vibe-coding/
       
 (DIR) Post #AxEDyHR5GAyDcsTRAm by futurebird@sauropods.win
       2025-08-16T13:19:08Z
       
       0 likes, 1 repeats
       
       @chadgeidel @pluralistic "AI software assistants make the hardest kinds of bugs to spot"A geometry proof (for year 9 geometry) generated by AI is an nightmare to grade.  When you find the error it's something a person capable of making the rest of the proof would never do.I wonder how university mathematicians feel about AI written proof-shaped objects?<s> Why hasn't anyone proved all the unsolved theorems with AI if it is so very smart? </s>
       
 (DIR) Post #AxEI0bkt5EWX2d6Oky by apropos
       2025-08-16T14:04:30.384037Z
       
       0 likes, 0 repeats
       
       @chadgeidel @pluralistic >they are not the customerssure, they're not the hype customers for the hype product, but they're the real customers for the real product that actually works.