Shared credit for a mathematical advance

A September 17 preprint reports a 1/e selection guarantee for linear matroids, a class of mathematical independence structures. The authors credit ChatGPT-6 Astra with a key proof argument, which they say they checked themselves.

They also acknowledge an earlier, concurrent paper by Abdi and colleagues using essentially the same approach. The strong conjecture for arbitrary matroids remains open, and this work claims no polynomial-time implementation.

The case illustrates why AI-assisted mathematics needs both proof scrutiny and transparent attribution. These are preprint findings.

References

• Preprint and AI disclosure
• Full paper
• Concurrent paper by Abdi and colleagues