The logarithmic spiral is optimal for shoreline search: a computer-assisted proof · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2609.24454/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTThe logarithmic spiral is optimal for shoreline search: a computer-assisted proof — mentioned by atemerevhttps://news.ycombinator.com/item?id=49848531urn:hackerpapers:mention:2609.24454:49848531Fri, 25 Sep 2026 18:59:23 GMT<p>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</p><p><a href="https://hackerpaper.kaipfister.de/p/2609.24454/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.OC