Technology
Researchers from Peking University achieved a major breakthrough.
By developing an advanced AI system.
That solved a complex mathematical conjecture.
Proposed by Dan Anderson in 2014.
In Commutative Algebra.
The system analyzed extensive research.
And produced a verified proof.
With minimal human intervention.
Using advanced validation tools.
Within just 80 hours.
This marks a significant step.
Toward automating scientific discovery.
