The great thing about these mathematical mopping up type operations is that no person will waste their time trying to prove it to be true anymore. If anything that’s a win.
It would be great if an LLM could settle the Collatz conjecture next, god knows how many man-years have been burned on that by unsuspecting victims.
Based on my usage of Fable on the max plan, Anthropic is going to have to at least double the usage limits for it to be a viable option in the near future. And without Fable, the value proposition quickly drops to zero.
Even Neanderthals? Were they also made in his image? We interbred with them. We can go all the way down the evolutionary tree here just say when to stop.
Same. I don’t know what Mickey Mouse work people are doing that 4.8 is “enough”. CRUD apps maybe?
I have some serious Bayesian statistical research programs running and Fable is on another level than 4.8. It feels like Andrew Gelman is supervising it. Even the vision model on Fable is superior to 4.8 which is great for having it digest research papers.
What’s assumed and not explicitly stated is the law of the excluded middle. That A is true or A is false and those are the only 2 possibilities. If you assume the law of the excluded middle then it’s impossible that “A or not-A” is false. So it’s true. But “A or not-A” is true is equivalent to “A and not-A” is false (just apply DeMorgan). So proof by contradiction is you assuming something B is true and it leading to a “A and not-A” (contradiction) so clearly B must be false.
Basically the signal is that the total market for any US AI company is capped at however big the US market is. As non-US AI converges to Opus 4.8 level parity, whatever is still non-US consumer base shrinks towards zero.
You have to keep reinterpreting it until it aligns with whatever the masses currently consider to be true. This has been going on forever. The current hot reinterpretation is to say we’ve been wrong in what the scriptures teach about same-sex relationships and aaacktshually.. it’s fine.
This all reminds me of in the 90s when the Borland C++ compilers and Turbo Pascal shit came out and everyone was still hand rolling assembler because the optimising compilers were so bad. I thought Opus 4.6 was pretty good, basically a step change. The stuff I got out of Fable before they blocked it was nearly alien. If things keep improving, I don’t see humans writing code in 2 to 3 years except maybe super niche areas. This will all go the way that optimising compilers did. No amount of resistance, anger or denialism will change that.
I’d actually love it if LLMs could skip the slow high level lanaguages entirely and just churned out some weird LLM bytecode that was closer to the metal. I don’t want to read it or understand it at all. Here’s my spec, build it and notify when done. I want to ship stuff not build or dick around with code. Basically like when I go to a shop because I want a table, I don’t care if some carpenter “crafted” it or a machine mass produced and spat it out. It’s cute, but most people just want stuff and don’t care how it’s built.
As a non-US person, I will use whatever is the best and reasonably priced. I could not give one iota about who makes or hosts these models. The origin or political leanings of these models mean nothing in my usage calculus.
The one thing you can say though, is that “benefits himself” does not mean: buying a super yacht, a casino, an island, etc.
So yeah, he’d YOLO and do the Mars trip before any of the above. Which is what most nerds on HN would love, except their blind hatred for Musk would make them despise even that.
I use the disparaging nature of the comments on HN as an indicator of AI progress. It’s negatively correlated. By that metric,
AI has improved significantly this year alone.
Interesting. Did Neanderthals have souls? We know we interbred with them. The question is then whether earlier hominids also had souls. Was "ensoulment" a gradual phenomenon or did it arise spontaneously? If it was gradual does it mean at some point there was a "cross-over" period where we interbred with soulless hominids? Interbreeding becomes philosophically awkward if ensouled and non-ensouled beings could mate and produce offspring. I don't think it's clear at all even what has a soul and what does not.
It would be great if an LLM could settle the Collatz conjecture next, god knows how many man-years have been burned on that by unsuspecting victims.