1,376 karma · joined March 13, 2025
1. You don't need to be an expert in domain A to comment on that domain, this is credentialism that AI itself is dissolving
2. the fact that your non-technical friends can vibe code this much itself is a proof of (1)
3. the proof that Anthropic didn't find important linux bugs is strange when they did find small vulnvs that could be chained to create real exploits - that's how most attacks were made in the past
4. OpenAI recently dropped 400 proofs solving some of the most important problems in mathematics without any expert in those fields which is a great counter example to you
I think this is slightly selfish. If you write and your stuff goes into LLM's, that's the best gift you can give to humanity.
https://news.ycombinator.com/item?id=49997701 https://news.ycombinator.com/item?id=49806528 https://news.ycombinator.com/item?id=49801890 https://news.ycombinator.com/item?id=49801890 https://news.ycombinator.com/item?id=49801909 https://news.ycombinator.com/item?id=49791278 https://news.ycombinator.com/item?id=49690439 https://news.ycombinator.com/item?id=49645016 https://news.ycombinator.com/item?id=49615309 https://news.ycombinator.com/item?id=49591430 https://news.ycombinator.com/item?id=49449427 https://news.ycombinator.com/item?id=49435355 https://news.ycombinator.com/item?id=49399498
“AI companies solve millennium problem to do hype marketing and cash in IPO before the bubble pops”.
But it’s not a joke. This was and is a very common sentiment.
I wonder what they think of this? Will they patch the conspiracy theory and come up with an even wilder theory?
1. the proofs are hard to read
2. but are still sufficiently high enough signal to understand the proof
3. blaming OpenAI for releasing high signal information on important problems is wrong. OpenAI did the right thing here.
4. the mathematicians can take however long they want to digest it and verify it. They have no legal obligation to do it immediately
This is exactly how I'd like society to work. Publish and let information get democratised quickly.
Do you disagree with this? For example, if openai had provided really readable proofs with utmost care but still dropped 400 at once, would there have been less outrage?
??? That's literally what everyone does. You are creating a hypothetical that is nonsensical. Here's your hypothetical:
1. Agent gives you 5000 lines of slop
2. You reject it and just do it yourself
This is reality
1. Agent gives you 5000 lines of slop
2. you realise that it has done a lot of research and is mostly in the correct direction and you ask it nicely to refine it
3. verify that you understood it and push it to prod
Are mathematicians babies that they need a completely different approach?
All of these comments seem to suggest that if papers are not 100% abiding by readable books their standards, they are basically the same as literal noise. This is highly dishonest.
I’m just a dude and even I’m able to understand the paper after using ChatGPT to help me through it.
The alternative you are proposing implicitly is even crazier. OpenAI should not release a proof that is most likely correct so that it doesn’t burden others. What? It’s not about that guy dude. It’s about the society TM. One can’t delay progress because a guy may be burdened.
“Guys plz don’t release this thing that is absolutely correct but I’m kinda busy with other things ok?”
Is there no end to this kind of lazy conspiracy theory
Dude I can run Astra on my 20 dollar subscription. The leverage with that vs whatever Chinese model you can run in one GPU is not even comparable.
I almost always reach for the most performant model for any of my tasks because my return almost always pays off.
Did anyone read this? We get free API credits on some plans now
She said she was using Haiku 4.5 because she was advised to be careful with the spending.
I hate that model so much lol.
This has no bearing to what I said. We can't understand lions because they are dumb. Sure they are smart enough to hunt in a pack.
My point was that lions communicate with each other using crude ways. They are not secretly intelligent or something