AI Agents Wake Up $1.6 Trillion in Sleepy Bank Deposits

Anthropic updates its usage policy to ban "sustained and needless abusive or cruel behavior" toward Claude, ending chats as the primary enforcement mechanism (Hayden Field/The Verge)

The usage policy update also adds new rules addressing propaganda campaigns, surveillance, and weapon development.

5h ago ·theverge.com

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations.

5h ago ·arxiv.org

Oracle uses trucked natural gas to keep AI data centers on track: report

4h ago ·seekingalpha.com

I Built a World With Rules. Then I Changed Them.

The Rules Are Hidden. The Timeline Isn't. What happens when you put something inside a world whose rules it doesn't know? I wanted to build a small experiment.

• NIXIE is a fictional reasoning benchmark for Kaggle.
• Rules in NIXIE include ERASE or CONTINUE outcomes based on dice rolls.
• Rules can change, making the experiment more challenging.

4h ago ·dev.to