Комплексна структура на шестивимірній сфері
У серпні 2026 року Левент Алпоґе виклав на своєму сайті 108-сторінковий рукопис, підписаний «Claude та Левент Алпоґе», з побудовою комплексної структури на шестивимірній сфері S^6: це відповіло б «так» на проблему Гопфа. Найраніший знімок файла в архіві — 23 серпня. У вересні математик відтворив доведення окремою статтею, ще дві роботи спираються на нього; жоден журнал його не рецензував.
Чому це важливо
Питання Гопфа давно мало і позитивні, і негативні заяви, які, за Енґелем, виявилися не повністю обґрунтованими. Тут заява супроводжується окремим викладом математика, який пише, що перевірив зміст сам. Це не рецензія, але це відрізняє стан цього твердження від станів «заявлено» й «оскаржено».
Стан твердження. Заявлено: рукопис alpo.ge/s6.pdf «The (3, 4, ∞) modular family of 2-tori, completed at its three special points, is a complex structure on S^6», автори — Claude та Левент Алпоґе, 108 сторінок, без дати; після появи його змінювали (розмір файла різний у знімках архіву). Найраніший знімок Internet Archive — 23 серпня, 22:22 UTC; день публікації рукопис не називає, тож це межа. Прочитано три перші сторінки (огляд основних кроків), решту ні. Перевірено людьми: Філіп Енґель, «Complex structures on S^6» (дата в тексті 13 вересня, ранішу версію вперше заархівовано 27 серпня), дає «самодостатнє доведення» однопараметричної родини компактних комплексних тривимірних многовидів, дифеоморфних S^6, і пише, що математичний зміст «незалежно перевірив автор, який бере на себе повну відповідальність»; для пошуку й чернетки він користувався ChatGPT. Чжанчи Чень (arXiv 2609.26706, 22 вересня) доводить властивість Оки для членів родини за умови, що ототожнення многовиду з S^6 належить Алпоґе; Джефф Віаковський (arXiv 2609.33785, 27 вересня) будує двопараметричну родину комплексних структур на S^6, «не біголоморфних початковим прикладам Алпоґе — Claude». Формалізації в Lean у прочитаних документах немає. Оскарження в прочитаному не знайдено; конструкція суперечить опублікованому результату про те, що алгебраїчна розмірність такої структури має бути нульовою, і рукопис пояснює, чому цей аргумент тут не діє (Енґель називає цей результат майже тридцятирічним). Роль моделі. Енґель: рукопис «створив Claude під керівництвом Левента Алпоґе»; «точний характер взаємодії між Алпоґе й Claude наразі не задокументовано». Чого запис не стверджує: що проблему Гопфа визнано розв’язаною, що прохід перевіряв математику, і дня публікації рукопису.