The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also ...

Commutative algebra and algebraic geometry form a deeply interwoven field that investigates the structure of polynomial rings, their ideals, and the geometric objects defined by these algebraic sets.

A research team based in China says its artificial intelligence system has done something no AI has publicly done before: independently solved an open problem in pure mathematics that had stumped ...

Remember that math problem from 2014? A Chinese AI tool cracked it ...

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

Commutative algebra and graph theory are two vibrant areas of mathematics that have grown increasingly interrelated. At this interface, algebraic methods are applied to study combinatorial structures, ...

A Chinese artificial intelligence system has solved a decade-old problem proposed by an American mathematician, according to ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language reasoning with formal machine verification.