If there was leaking details will be part of the pressure campaign. 🍿

Being April 15th a good story would be how DOGE failed to implement AI to find the biggest IRS fraudsters

Only thing left is "where is the real Pope?!?"

9 Times Trump Has Ridiculously Insulted Christians Sharing an imagine depicting himself as Jesus is just one of many ways the US president has denigrated the people who put him in the White House.

MALA - Make America Listicle Again
zeteo.com/p/trump-insu...

Loser is probably also weak on obliterating civilizations

Power grids? Lacks imagination.

You cut it off right before we got the answer

Military excursion with a side of nuclear annihilation. Just as the founders intended.

I'm sure there are intelligence intercepts that say "nuke me".

Just letting the wheels fly off is a lot less painful than trying to figure out what should be done

No wonder he was so coy about it

Harness design for long-running application development Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Understand. One thing I've been doing is stuff along the lines of:

Harness design for long-running application development \ Anthropic share.google/SUKXpTU6xplI...

To get a better feel of how things go off the rails.

And so that is why I mentioned LEAN. For mathematics, that is where the buck stops when the AI generates it's output. Grounding

... the structure) and then pass the compiled PDF to an adversarial agent.

So yes. They generate bullshit sometimes. Who doesn't? Deliberate? Hmmm...

Fixable? Absolutely.

I see this sentence: "It faked results, hoping I wouldn’t notice."

Really.

Though not as deep down a rabbit hole as this problem was, I found just taking the LaTeX paper (hint: the prompt is "Create a paper coded in LaTeX suitable for publication in X" if you want to avoid hand holding the...

Math is different in the sense that if you prove a theorem in LEAN and it "compiles" then the theorem is true and the proof is correct. No AI involved

Lots of recent YouTube stuff on this

If you scan papers submitted to Arxiv you will see more and more papers proven in LEAN. That isn't because LEAN is easy, but because AI is getting really good at writing proofs in it

Right. I understand that. What is different about the context of mathematics (and probably physics to some extent) is that the current generation of agents have their claims "grounded" in the LEAN4 programming language. Ie, what it things is true it then proves in LEAN4, a deterministic language

Nobody, no organization, can be this incompetent. We need to shut everything down until we know what is going on.

MAHA be damned. Cutting off raw milk at the source

This is very real and accelerating. Within a year the most competent mathematician in the world will be an AI agent.

Chess vs checkers

If they commit not we'll knock 20% off.

Phew. I thought my issue was being male.

Crawling onto that commoditization railroad track because they don't want to miss the train