VibeMathedMath problems solved by AI

Shokurov's Global Index Conjecture for Foliations

Shokurov's global index conjecture, in the setting of foliations. Proved for foliations in dimension at most three, which also answers a question of Liu, Meng and Xie in dimension three.

Result
Proved(see note)
Status
Partial result
AI contribution
AI co-developed
Method
Argument
Field
Birational geometry
Posed by
Vyacheslav Shokurov
Year posed
Years open
Solved
2026-05-21
Model
Rethlas
Vendor
Collaborators
Jihao Liu, Sheng Qin
Verification
Unreviewed
Publication
Preprint
Significance
30 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

proved in dimension at most three

What the AI did

The authors state the main result is partially obtained by generative AI, particularly the Rethlas system. The word doing the work is partially, and the disclosure does not say which parts of the dimension-three argument came from the system and which from the authors.

Verification

arXiv preprint, not peer-reviewed. The disclosure does not delimit the machine contribution, so the proof rests on ordinary refereeing.

Source

arXiv:2605.22735 - Shokurov's global index conjecture for threefold foliations

Discussion