you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 24 May 2026
17 points (94.7% liked)
TechTakes
2586 readers
75 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 2 years ago
MODERATORS
Not a pro mathematician so apologies if Im hanging my butt out here, but I'm not convinced these solutions (or something analogous) aren't in the training data. Wouldn't be the first time. Several seem like the kind of thing you might figure out for a lemma on the way to something else unless you'd previously examined tHe ErDoS PrObLeMs.
Note: there are over 1200 problems that could be arguably labeled "Erdos Problems." It appears that a chatbot enjoyer vibecoded a website in 2024 and was somehow declared the chief keeper of the things. The site can be found here: https://www.erdosproblems.com/faq
The relevant part:
You fuck cows in retrospect
More than anything else, the AI-rdős Problem cottage industry has damaged my trust in mathematicians. First of all, just how bad does a company have to be before you boycott their products? Just where is your line? Because the industry passed my line about seven thousand lines ago. Second, we know that in other fields, the output is shit, that people brainfuck themselves by counting the hits and forgetting the misses, that users de-skill themselves through slop dependence... What makes you so special? Piping the output through an automated theorem-prover, or any other hack to improve the reliability of the stochastic text extruder, can at best shift the probabilities.