I'd thought about fine-grained complexity of Furthest Pair for some time. Especially exciting to see AI-assisted discovery & algebraic number theory showing up (again!). Congrats to
@barnacs.bsky.social, Yinzhan Xu, and Christopher Ye — hoping for many more such uses of these tools in TCS!
add a skeleton here at some point
5 days ago