•∠U RQ≤120 ◦: Verified (Requirese≥1)

Simpson Point Angles(via transformed inequality): •∠U QR≤120 ◦,∠V AD≤120 ◦,∠V DA≤120 ◦: Verified (Unconditional)

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.DM · 2026-01-29 · unverdicted · novelty 8.0

LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.

Showing 1 of 1 citing paper.

Towards Solving the Gilbert-Pollak Conjecture via Large Language Models cs.DM · 2026-01-29 · unverdicted · none · ref 17
LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.