I wanted to quickly mention an “almost” LLM result. I wrote previously about a marvelous new approach of Yuchen Bi to Stoker’s conjecture using differential geometry, but that still critically used quite extensively non-polyhedral techniques. Yesterday, Arseniy Akopyan wrote to me that he chatted with LLM and found a polyhedral only proof.
Not essentially new, Arseniy and I then noticed that the LLM had “stolen” a result of Martin Winter, who in 2023 found the proof without noticing, and wrote it in a very nice paper expanding our knowledge of Wachspress coordinates and Izmestiev matrices. Congratulations, Martin!






