I just figured fleecing rubes was considered the retirement plan for this band of raiders and whores.

Dude's crime wasn't playing the inside, it was getting caught while not having enough dirt on the boss to make him care.

Well, yes. For many years, presidential candidates, both Democratic and Republican, referred to the United States as "the indispensible nation". And my reaction was always, "Doesn't that mean the US is a single point of failure for civilization?"

We are currently performing an experiment which addresses this question: can the US enjoy the benefits of soft power without the cost? That's the whole point of obeying *norms*. No individual force is going to punish you if you are treacherous, mercurial, foul-mouthed, disrespectful and generally unpredictable. Everyone will punish you.

I think an inevitable cost of this experiment will be that the world will decide that the US can't be a single point of failure for global democracy any longer. In many ways, that's something that will be good for us. But it's also going to cost us in painful ways. When the world decides to move away from the dollar as the international reserve currency, you will see both inflation and higher interest rates on everything from credit cards to mortgages, to business loans that will offset the export advantages. We will need *more* business investment to shift the economy to producing low value goods again, so the transition will be rocky.

Although, from my two second check just now, Venus is technically considered within the Goldilocks zone for this solar system it is right on the very inner edge of it. This finding differs from Venus in that respect, making it more interesting as a possibility.

All highly speculative of course, but to be fair that's exactly what the article says. Atmosphere detected, everything else speculative.

Who's testing intentional bias in OpenAI or Anthoropic?

Yeah, there's two main problems:

1) People entering the wrong fields. For example, medicine really needs workers, at all levels, but not enough people are going into it.

2) Certain manual labour fields, like field work and home construction, because... well, I think we all know why there's a shortage of workers in those fields.

There's a handy list, probably a little out of date.

Names you might recognize of include Juniper, Citrix and Netapp.

Good question. Their POWER series of CPUs were not insignificant in capability, their chip designers were clearly technically sophisticated, and GPUs are just specialised vector processors with a few extra bells and whistles - stuff IBM is extremely familiar with.

It would not have been difficult to release a GPU or other LLM-specific processor to go along with the POWER11. They'd been working on the POWER11 for 4 years, they knew in 2020 that LLMs had a strong potential to be significant for Big Data processing - an area you use big iron for, they're not rank amateurs, they have plenty of reserve, they could have assembled an emergency team to build a vector processor that was custom-designed for just LLM work, and released an LLM processor card that could run circles around nVidia.

They didn't. Because, as has happened before, their management is simply too stupid and too slow.

I don't actually use Apple Store all that often. A fair portion of the software I have installed, like LibreOffice and Firefox is just installed via DMG images. It kicks up a window about unrecognized source, but then just works. iOS devices are definitely more locked down, but the Macs are really no different as far as installing software than Windows or Linux.

I imagine the Mac Neo is the real source of their panic. Right now RAM prices are probably saving them from even more losses, but the hegemony is coming to an end. If a credible useful, at least for average users, non-Windows platform using smart device level hardware can sell as well as the Neo has, I'd say Microsoft's reckoning is finally upon them.

At what point in this long and seemingly endless list of fixes to even the most basic usability features in Windows do its users finally admit it is really a shitty and badly maintained operating system. I use Gnome or MacOS, which are streamlined and uncluttered, and then I head over to Windows and it's like looking into the mind of someone with severe ADHD. It's a colossal mess where nothing particular makes sense, there's no coherent approach, everything is slow and inundated with advertising, context menus that worked for decades don't function right or at all, even the simplest tasks just seems to land you in the wrong place.

I suppose under the hood it's still a fairly decent operating system, although tools like Powershell, which can be achingly slow itself, demonstrate that there's a lot of layers of cruft.

I don't play video games, and frankly Office isn't that much better for my needs than LibreOffice, and Outlook is a bloated pile of crap, so I rarely even access the Windows desktop I have at work via RDP, save for two applications I rarely use. Windows is rapidly becoming irrelevant in my world.

Thats a aloe and you know it.

You are the one that said: “There are bigger points.” Why do you lie so much?

Or let's put this another way. Show of hands - how many of you "spicy autocorrect" / "stochastic parrot" people had "AI will start mass-solving Erdos problems" on your forecast list a couple years back? Huh, none of you? Fascinating!

Take some time to reassess your priors. And while you do so, understand that, yes, they are doing logic / reasoning.

They weren't discovered by an LLM. They were known conjectures that were proven by an automated solving language that was linked to an LLM.

I'll take "Things That Didn't Happen For $200", Alex.

Only a handful of meaningful proofs have ever been done by automated formal theorem solvers (the Four Colour Theorem being the most noteworthy example - but its proof is so long that humans can't verify it). By contrast, AI tools have been solving Erdos problems en masse. The majority of them just bog-standard commercial models. In case you need help, the only ones on that list that were hybrid (AI / non-AI) in the actual solving phase are:

1) AlphaProof / DeepMind Prover Agent / AlphaProof Nexus
2) Aristotle (Harmonic)
3) Seed Prover / Seed Prover 1.5 (ByteDance)
4) AxiomProver (Axiom Math)

In each of the above, LLMs come up with the lemmas / strategies but then use Monte Carlo search ("brute force") or likewise to investigate what they came up with. These are a minority. In the "AI Standalone" category, these "hybrid" tools made up only ~20% of attempts and successful proofs. Hybrid tools actually made more of a contribution in the "AI Alongside Literature" (related literature found afterward) and even more of the "AI Building On Literature" (related literature known beforehand) categories, which is the opposite of what people like you expect.

And even with the hybrid tools, it's still the AI doing the heavy lifting when it comes to strategy. Non-AI theorem solvers, again, don't have a spectacular record for churning out novel proofs to unsolved problems. Tools like Lean are more about mathematical rigour - a passive environment that requires a driver (a human or AI) to feed it actual strategies, lemmas, and proof steps. And no, you cannot brute force "strategy" in the vast majority of cases, which is, again, why automated theorem solvers don't have much of a track record with unsolved mathematical problems.

Let's take a random example: the disproof of the unit distance conjecture. It was solved purely by a general purpose commercial GPT model, not custom-trained to mathematics, with no external tools. Read what the various mathematicians reviewing / commenting on it have to say (sections #3 and onward). Seriously, don't skip reading them, actually read them. This was one of Erdos's favourite problems. He mentioned it commonly in his lectures. Essentially every mathematician working in complex geometry has thought about this problem. The approach that the model came up with was highly novel approach, based on CM-fields and class field towers.

I know you don't want to accept this reality, but it is the reality, so you better improve your ability to accept it,. The field of mathematics is already doing so.

Dang, link didn't post.

Ah, good 'ol "Model Collapse" theory that people have been pounding on for years now, predicting an imminent collapse in model capabilities. How has that been working out for you?