dan on Nostr: oh yeah i don't have concrete ideas for what's a "good" way to do this. what we ...

oh yeah i don't have concrete ideas for what's a "good" way to do this. what we *want* to detect is when the choice of objects is unnatural and theorems convert back and forth in routine bookkeeping. i'd pose that problem to LLM and let it figure out some proxy metrics