ZEN University to Host Midterm Presentation of the 'LANA Project' on Computer Verification of IUT Theory on July 17
NQ Score
85/100
N1 Content Completeness
9
AI Summary (NQ-processed)
ZEN University's ZMC will host the 'LANA Project Interim Report 2026' on July 17, 2026, presenting progress on the computer verification of IUT (Inter-universal Teichmüller) theory. This international collaborative project aims to formalize number-theoretic geometry and verify one of modern mathematics' most challenging theories.
AI Analysis
Frequently Asked Questions
- Q: What is the LANA Project?
- A: An international research initiative led by ZEN University to verify IUT theory using computer formalization.
- Q: Who is organizing the interim report?
- A: The ZMC (ZEN Mathematics Center) at ZEN University, with global mathematicians presenting.
- Q: How can I watch it?
- A: Live streamed for free on YouTube (Japanese/English) and NicoNico (Japanese only).