Weak Order on the MacNeille Completion of Bruhat Order
AI use, as the source states it
“The proof of the conjecture of Escobar--Klein--Weigandt and the disproof of the conjecture of Hamaker--Reiner were obtained autonomously by ChatGPT 5.4 Pro.”
Model: ChatGPT 5.4 Pro, as stated
Named here, or see a mistake? Write to privacy@papex.org.