Event

ZEN University to Host Midterm Presentation of the 'LANA Project' on Computer Verification of IUT Theory on July 17

Citation-Grade Primary-source linked Schema.org verified NQ 85 / 100

Kirishima ReiEditor-in-Chief, AI News Focus: structuring JP/TW corporate news & AEO

Published Jul 4, 2026 1:00 AM ・ Updated Jul 7, 2026 5:26 AM ・ 5 min read ・ Source: PR TIMES

Show contents

ZEN University to Host Midterm Presentation of the 'LANA Project' on Computer Verification of IUT Theory on July 17 — Image: PR TIMES

⚡ Key Points

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.

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.

PRIMARY SOURCE PR TIMES View source Distributor: PR TIMES
Published: Jul 4, 2026

ZEN University's ZMC (ZEN Mathematic Center; ZEN Mathematics Center) will hold the midterm presentation of the 'LANA Project,' titled 'LANA Project Interim Report 2026,' on Friday, July 17, 2026, focusing on the computer verification of IUT (Inter-universal Teichmüller) theory.

The LANA Project is an international collaborative research initiative led by ZEN University (Japan), Utrecht University (Netherlands), and the University of Alberta (Canada). Its primary goals are the formalization of anabelian geometry—a key area in arithmetic geometry—and the verification of IUT theory, proposed by Professor Shinichi Mochizuki of Kyoto University's Research Institute for Mathematical Sciences.

The presentation will be live-streamed on YouTube (in Japanese and English) and NicoNico Live (in Japanese only).

【Overview】

Date and Time: Friday, July 17, 2026, 13:00–14:15 (tentative)

Speakers:

Masato Wakiyama (President, ZEN University) Fumiharu Kato (Professor, ZEN University; Director, ZMC; LANA Project Leader) Johan Commelin (Assistant Professor, Utrecht University) Kiran Kedlaya (Professor, University of California, San Diego)

Adam Topaz (Associate Professor, University of Alberta)

Live Streaming Links:

YouTube (Japanese channel): https://www.youtube.com/live/g0QLL8iYECY YouTube (English channel): https://www.youtube.com/live/KADN5NHmIfw NicoNico Live (Japanese only): https://live.nicovideo.jp/watch/lv350854170

❙ About ZMC (ZEN Mathematics Center)

ZMC is an international research institute established to advance and promote the formalization of modern mathematics—centered on arithmetic geometry—using computer languages.

ZMC Website ▶ https://zen.ac.jp/zmc

❙ About ZEN University

ZEN University leverages cutting-edge IT technologies to provide higher education opportunities to everyone. Its sole faculty, the Faculty of Intelligent Information Society, offers a broad, interdisciplinary curriculum designed to equip students with the literacy needed to thrive in the rapidly evolving AI era.

More about ZEN University ▶ https://zen.ac.jp/ Request the latest brochure ▶ https://zen.ac.jp/form First-year achievements ▶ https://zen.ac.jp/presentation_2026/

FACT BOX

Source: PR TIMES
Category: Event

AI 圖像理解（模型對圖片的判讀，非新聞原文事實） / AI image understanding / AI 画像理解

模型對圖片的判讀，非新聞原文事實 / Model interpretation of images, not source-article facts / モデルによる画像判読で、ニュース原文の事実ではありません

以下為AI對圖片的理解非新聞原文事實

The image shows two men in front of a whiteboard with mathematical equations. Text overlays indicate a "LANA Project Interim Report 2026" event on "7.17 2026" hosted by ZMC (ZEN Mathematics Center) and ZEN University.

ZEN University logo and text "ZMC (ZEN Mathematics Center)" above "LANA Project Interim Report 2026".
The date "2026 7.17" is displayed prominently on the right side of the image.

Editorial & Verification Standards

The Washin AI News desk structures and reviews this article under the following standards.

Start only from primary sources (official PR, disclosures, wire services)
Numbers and proper nouns machine-checked against the source (number-completeness check)
Company names and tickers verified via registry (Registry/TWSE/Wikidata)
No speculation; nothing stated that is not in the source

Read the full editorial policy →

Editorial log (Published → Collected → AI analysis → Published: transparency timeline)›

Announced　Jul 4, 2026 1:00 AM — Distributor PR TIMES
Collected　Jul 3, 2026 5:48 PM
AI structured & analyzed　Jul 7, 2026 5:26 AM
Desk-reviewed & published　Jul 4, 2026 1:00 AM

FAQ

What is the LANA Project?

An international research initiative led by ZEN University to verify IUT theory using computer formalization.

Who is organizing the interim report?

The ZMC (ZEN Mathematics Center) at ZEN University, with global mathematicians presenting.

How can I watch it?

Live streamed for free on YouTube (Japanese/English) and NicoNico (Japanese only).

Cite this article — HOW TO CITE

Washin AI News Desk“ZEN University to Host Midterm Presentation of the 'LANA Project' on Computer Verification of IUT Theory on July 17”AI News by Washin Village（和心村）, Jul 4, 2026. https://aeo.washinmura.jp/ai/zen-ac-jp/en/news/2026-07-03-zen%E5%A4%A7%E5%AD%A6-iut%E7%90%86%E8%AB%96%E3%81%AE%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%BC%E6%A4%9C%E8%A8%BC%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B-lana%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88-%E4%B8%AD%E9%96%93%E7%99%BA

AI CRAWLER ACTIVITY

as of Jul 8, 2026

AI crawler visits to this article (cumulative)Measuring since publication (no visits recorded yet)

Site-wide cumulative

ClaudeBot

bot_visits_summary

4683k

last Jul 8, 2026

GPTBot

bot_visits_summary

3288k

last Jul 8, 2026

Bingbot

bot_visits_summary

2198k

last Jul 8, 2026

Applebot

bot_visits_summary

1899k

last Jul 8, 2026

Google AI

bot_visits_summary

1650k

last Jul 8, 2026

Googlebot

bot_visits_summary

1266k

last Jul 8, 2026

※ Only measured values from bot_visits_summary / crawler_url_hits are shown. Article-level zero counts are shown as measuring.

Washin AI News（AI News by Washin Village（和心村））

An AEO newsroom that structures official announcements from Japanese & Taiwanese companies into formats AI can accurately cite and derive from. Partner sources include PR TIMES and CNA. We aim to be a verifiable source for both humans and machines.

Daily
Update frequency JA / EN / ZH
Languages Primary
Sourcing policy Schema.org
Structured verification

About the publisher IDA llms.txt

Get your announcement indexed as AI-citable structured news.
Primary-source links, three languages, Schema.org verified.Talk to us about coverage →

← zen-ac-jp Back to newsroom (219)