VibeMathedMath problems solved by AI

The Generalized Busemann-Petty Problem in Dimensions 2 and 3

If origin-symmetric convex bodies K,LRnK, L \subset \mathbb{R}^n satisfy volm(KE)volm(LE)\mathrm{vol}_m(K \cap E) \leq \mathrm{vol}_m(L \cap E) for every mm-dimensional subspace EE with 1<m<n1 < m < n, does voln(K)voln(L)\mathrm{vol}_n(K) \leq \mathrm{vol}_n(L) follow? Answered affirmatively for subspace dimensions m=2m = 2 and m=3m = 3.

Result
Proved(see note)
Status
Partial result
AI contribution
AI-assisted
Method
Argument
Field
Convex geometry
Posed by
Herbert Busemann, Clinton Petty (hyperplane case); generalized form standard since
Year posed
1956
Years open
70y
Solved
2026-08-06
Model
ChatGPT 5.6 Sol
Vendor
OpenAI
Collaborators
Cheng Lin, Yu-De Liu, Ge Xiong
Verification
Unreviewed
Publication
Preprint
Significance
30 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

Settles subspace dimensions 2 and 3; the generalized problem stays open for larger m.

What the AI did

The declaration in full: "Theorem 2.3 was found with the help of ChatGPT 5.6 Sol, which led us to prove Theorem 3.2." One named theorem, which unlocked the paper's crucial representation formula.

Verification

A preprint days old, with no independent review.

Source

arXiv

Discussion