Discussion about this post

User's avatar
Grigori avramidi's avatar

Math community feels like a microcosm (or toy model) of the entire ai safety debate. There are race dynamics pushing everyone to rush ahead, there are things the ai's can do, some subset of those things we can formally verify, and there is a subset of those consisting of things whose proofs we can understand (possibly with the help of ai). And the warning sign that we are really in trouble would be a growing collection of things that can be verified but resists being understood (at least in some statistical sense for situations where lots of cases are considered). This hasn't happened yet, but the fear of it happening leads to a debate about open letters, more guardrails and so on, with their own possibly unintended consequences. And there are both accelerationists and doomers. It is all so very on the nose...

derve's avatar

"More aligned" but ... aligned with what?

13 more comments...

No posts

Ready for more?