griffzhowl
Joined 6 years ago
Joined 6 years ago
No, Kevin Buzzard is leading a project to formalise FLT for a couple of years now. Anthropic scooped him last month, but his project involves more than just producing a formal proof: https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...
I had suspected...
It can also mean facilitating a militaristic surveillance state.
Not necessarily the same things, and at some point we might have to choose who's side we're on
I remember reading, not sure if it's from de Waal, about chimp "raiding parties", where groups of young males will get excited and loudly vocalise as they gather together and head towards a neighboring territory, but when they get close they all go very silent, and will attack individuals from a neighboring troop if they sufficiently outnumber them. They tend to target the face and genitals when attacking other chimps, a different behaviour to when they're hunting monkeys, for example. I think Wrangham mentions that some chimps will hold the targeted individuals' limbs while others attack.
Aside from the brutality, these behaviours seem too cogently goal-directed and sophisticated to just be responses to environmental pressures. There's some deeper reasons involved, imo, even if the severity of the violence is exacerbated by resource and territorial pressures.