ZEN數學中心發布新專案「LANA」，旨在透過電腦驗證宇宙際Teichmüller（IUT）理論
NQ 評分
42/100
N1 內容完整性
5
AI 摘要（NQ 加工版）
ZEN數學中心宣布啟動「LANA」專案，這是一個旨在透過電腦驗證宇宙際Teichmüller（IUT）理論的國際合作研究專案。該專案由ZEN大學、烏特勒支大學和亞伯達大學主導，將形式化遠阿貝爾幾何學並驗證IUT理論。