VibeMathedMath problems solved with AI
Sign in

The da Silva Machado-Seade Conjecture

da Silva Machado and Seade conjectured that weighted homogeneous isolated hypersurface singularities are exactly those admitting a logarithmic vector field transverse to the link. True: for a reduced isolated hypersurface germ in Cn+1\mathbb{C}^{n+1} with n≥2n \ge 2, or n=1n = 1 and the germ irreducible, the criterion holds.

Result
Proved(see note)
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Singularity theory
Posed by
Diogo da Silva Machado, Jose Seade
Year posed
2026
Years open
0y
Solved
2026-06-29
Model
Danus (built on Rethlas)
Vendor
Frenzy Math
Collaborators
Jihao Liu, Xiping Zhang
Verification
Unreviewed
Publication
Preprint
Significance
15 / 100
Disclosed cost
—
Wikipedia
No dedicated article

What was actually shown

An independent human proof of the same conjecture appeared the same week.

What the AI did

The paper states its main result was obtained by the Danus system, a specialized agent built on Rethlas and described as substantially more capable for fundamental mathematical research. A separate paper published the same week gives a different, human proof of the same conjecture and cites this one as the agent's.

Verification

No independent check. arXiv preprint; not yet peer-reviewed.

Sources

Changelog2 changes
  • Matarisvanchanged What was actually shown from “an independent human proof of the same conjecture appeared the same week” to “An independent human proof of the same conjecture appeared the same week.”, also Year posed, More links, Vendor, Significance note, What the AI did, Posed by
  • Rasmus Lindahlchanged Verification note from “arXiv preprint; not yet peer-reviewed.” to “No independent check. arXiv preprint; not yet peer-reviewed.”

Discussion