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.
Then it is the <a href="https://en.wikipedia.org/wiki/Bellman%27s_lost-in-a-forest_problem" rel="nofollow">https://en.wikipedia.org/wiki/Bellman%27s_lost-in-a-forest_p... - also unsolved
atemerev · · focus · HN ↗
<a href="https://arxiv.org/abs/2609.24454" rel="nofollow">https://arxiv.org/abs/2609.24454
skyberrys · · focus · HN ↗
onlyrealcuzzo · · focus · HN ↗
atemerev · · focus · HN ↗