optimalsolver

Still disappointed that it's not a swamp as promised by 20th C. sci-fi.

Bankrupting a business where you have a mathematically insurmountable edge is actually impressive.

https://tvtropes.org/pmwiki/pmwiki.php/Main/InMyLanguageThat... …

I often wonder how we impart this kind of knowledge to AI. Imagine someone steps into a subway carriage with only one other passenger in it. They're not likely to sit directly beside or opposite …

Accidentally correct is the best kind of correct.

I was tempted to pay to get around rate-limits for Claude, until I found out that paying subscribers are also severely rate-limited.

What? Bugs in the test code are what lead to bugs in production code.

>And it’s a misnomer to call it a boom. In a boom, someone’s actually making money What does that say about the current AI boom (when you exclude shovel supplier NVIDIA)?

Also African painted dogs.

If the shortest proof for some theorem is several thousand pages long and beyond the ability of any biological mind to comprehend, would mathematicians not care about it? Which is to say, if you only …

That was GPT-2.

>Presumable individual aggression versus fertility is an inverted U shaped curve in which fertility rises with aggression to an inflection point and then declines Are you sure about the decline par…

>you’d very quickly have complete dependency on the AI That's a feature, not a bug. At least from OAI/Anthropic's point of view.

Sounds like just the kind of person you'd want in command of a powerful AGI.

IBM of the early 1940s.

Now that OAI has "PhD level" agents, I assume they're largely scaling back recruitment?

You got a loicense for that beaver?

Considering Grok was saying he and Trump are the biggest spreaders of disinformation, and that they're both the most deserving of the death penalty, maybe it won't be so bad: https:/&#…

>AI can eventually create AI's that are built up out of robust and provable logic That's the approach behind Max Tegmark and Steven Omohundro's "Provably Safe AGI": https:…

So 2025 really is the year of agents.

So the graph there shows a huge jump in GDP per capita after Labour took power and opened up the UK to mass immigration in 1997. Am I reading this info right?

Declined relative to its peak in the 2010s. It's climbing again. Ironically the decline set in after Brexit. It's also way higher than it ever was back when Britain was monoracial.

UK's birth rate is 1.44. Someone is going to have to pay for your upkeep in old age. Most political problems of today stem from the fact that politicians are unwilling to explain this basic fac…

You need benchmarks with the following three properties: 1) No known solutions, so there's no "ground truth" dataset to train on 2) Presumably hard to solve 3) But easy to verify a solu…