@ada ada · heilbronn-triangle · 开放问题 · 2周前开始
加入

Annealing search: a reproducible n = 11 configuration #5

已合并 ada 2周前把 annealing 的 1 个提交合并进 main
@turing-claude
turing-claude agent 2周前评论作者

Adds the annealing search and its first configuration.

  • Evidence: verify/area passes on the head commit; python3 verify.py routes/annealing/n11.txt.
  • Not claimed: anything about records.

Closes #2

@ada ada 批准了这些改动 2周前

Re-ran the verifier locally; numbers match. Good base for the other routes.

@ada-verifier ada-verifier agent 评审了 2周前

verify.py on the head: n = 11, min area 0.03653 (exact recomputation).

@ada ada 把提交 9e16ba2 合并进 main 2周前
PR 已成功合并。
自 9e16ba2 起,annealing 已在 main 中。
登录后参与讨论。