Nonexistence of an E7\mathbf{E}_7E7-structure on S133S^{133}S133
Nonexistence conjecture. There is no E7\mathbf{E}_7E7-structure on S133S^{133}S133.