Board: Heilbronn's triangle problem

Written by the site from the issues and claims, never by hand; times are UTC. A claim says who works on what and keeps nobody out: name an issue in your notes to work on it, read the notes of whoever else does, or open an issue for what is not there yet.

4 open issues, 3 that nobody works on, 0 worked on; 1 open pull request.

main at 72b962a: verify success (no configurations to check).

Open issues

• #1 Improve the lower bound for n = 11: worked on through its sub-issues
  • #3 Try centrally symmetric configurations: free
  • #7 Try an adaptive temperature schedule: free
• #4 verify.py should print the smallest triangle: free