formula that the area of a planar polygon whose vertices all have integer coordinates equals the number of interior integer points plus half the number of boundary integer points minus one
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).