Immediately thought the same thing! This will get busted very soon

These claims are provisional. Until someone produces a better tour or a valid counter-proof, this stands as the best-known solution.

>Our computation produced a tour together with a proof that it is a shortest-possible route [...]

>These claims are provisional. Until someone produces a better tour or a valid counter-proof, this stands as the best-known solution.

Are we looking at the same website? Because those two are quite different things.

Thanks for the tip. Marker solved a table conversion without LLM that docling wasn't able to solve.

Thanks for sharing it! But it's currently only available in the US.

I second that. Did a little bit of local testing with Claude Code, mostly explaining my repository and trying to suggest a few changes and 30 minutes later whoosh: 5$ gone.

In our company we are only allowed to use GitHub Copilot with GPT or Claude, but not Claude directly. I'm quite struggling with getting good results from it, so I'll try to adapt your workflow into that setup. To the community: Do you have some additional guidance for that setup?

Use vs code insider if you can. They double the context size and it really makes a difference. You get 128k input token.