Just recently I used Fable 5.1 and Astra to solve and prove a long-standing mathematical problem I was always interested in: the shoreline search problem (a ship in total fog is at unknown distance from the shore [infinite line], what is the optimal trajectory?) A particular kind of logarithmic spiral was conjectured 33 years ago; a few days ago, I have obtained the proof. How routine it has become.
atemerev · · focus · HN ↗
<a href="https://arxiv.org/abs/2609.24454" rel="nofollow">https://arxiv.org/abs/2609.24454
skyberrys · · focus · HN ↗