David Manheim ✈️ Montreal, Oct 26-28

@davidmanheim

Founder @alter_org_il, Methods @EvalConsensusAI, emeritus @superforecaster, PhD @PardeeRAND Optimistic on AI, pessimistic on humanity managing the risks well.

following
followers

Nora Ammann is joining @FoundationOAI as Program Director of Formal Methods

Ammann says she spent two years at ARIA; a separate post expressed excitement about her move into formal methods.

4 Sources, 2h ago, first seen 2h ago

Hacker reportedly used AI agents and a few thousand dollars to break into scores of sites

Reuters reports a researcher watched the hacker break into websites belonging to more than 100 companies, including Deere and SharkNinja.

41 Sources, 7d ago, updated 7d ago

Eval Cards could already represent 56 of 60 AI governance elements identified for evaluation reporting

The researchers say they mapped 40 governance requirements in California, the EU and the UK into 281 elements.

2 Sources, 29d ago, first seen 29d ago

AI reward circuits and parallels with biology

One post calls biological parallels overhyped and argues that reward circuitry is unsurprising in a large neural network trained for general tasks.

2 Sources, 38d ago, first seen 38d ago

Featured in

Nora Ammann is joining @FoundationOAI as Program Director of Formal Methods

Hacker reportedly used AI agents and a few thousand dollars to break into scores of sites

Eval Cards could already represent 56 of 60 AI governance elements identified for evaluation reporting

AI reward circuits and parallels with biology

Featured in

Nora Ammann is joining @FoundationOAI as Program Director of Formal Methods

Hacker reportedly used AI agents and a few thousand dollars to break into scores of sites

Eval Cards could already represent 56 of 60 AI governance elements identified for evaluation reporting

AI reward circuits and parallels with biology