Hacker Newsnew | past | comments | ask | show | jobs | submit | AlexCoventry's commentslogin

Do they say how they verified the formalizations of the theorem hypotheses? (Sorry, I haven't read it yet.)

> I spend more than 3k/mo on tokens.

I'd be curious to learn how you're using them.



Yes, no... You made your parent’s point perfectly. This is worse then any pop music I have ever heard, by a significant margin.

Sounds exactly like the currently-most-popular female pop singer from the last two decades; they’ve always sounded manufactured.

Maybe I'm intensely schizophrenic or something but I can just clearly hear the AI in this and it sounds grating to me.

The problem with AI performances is that they're too perfect, which leaves them flat. The dynamics and imperfections of human performance have yet to be replicated. That affects every human performance whether or not you notice you're noticing (but you are). AI is still in the uncanny valley here.

This sounds like CD music 40 years ago. All my friends said that it was not like a record and left an empty feeling in the room. I feel like this is not talked about any more. People listen to digital music and have forgotten there was an alternative. I suspect that in the coming years no one will think twice about AI generated music.

Does anyone actually like this?

Philosophical zombies.

Why do you believe I'm philosophically bankrupt?

Nice. You make it?

Ugh...

I wonder if Qwen releases are deliberately nerfed for some reason. It's not the first time an easy reasoning performance win has been found for one.

https://arxiv.org/abs/2506.10947


> Around the same time, "Crypto Twitter" was spiraling into a mood that I saw described as "financial nihilism": roughly, that the natural end state of blockchains is gambling, this is good, and if you dislike this and wish for something better then you are a stuck-up elitist prick.

Surely he sees that the nihilists are winning. Crypto's main use case at this point is undeniably deeply corrosive corruption and money laundering, and as far as I know there's nothing plausible on the horizon to replace that (I kind of stopped paying attention after crypto industry leaders started meeting with Trump, though.)


Serious people are predicting automated RSI in 6 months this time, FWIW.


> What is the one thing that only you can specify, where your competitive advantage is maximized?

Can you give some examples where people have done that?


Well, it's been clear for a decade that Trump doesn't respect American values.


OpenAI is already working on fixing F-35 avionics.

https://en.technosotnya.com/2026/10/openai-55-ai-models-f35....


"By definition is unable to prove what has never been proved before because you are going outside the realm of pretraining/RL."

https://www.science.org/content/article/openai-just-changed-...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: