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.

https://arxiv.org/abs/2609.24454

Cool, that was an interesting read on its own. I viewed the html version and skimmed it, I appreciated your illustrations.

What if the shore isn't a clean line?