← All reports

The Linear Hadwiger conjecture has been proven by Sergey Norin and Raphael Steiner.

MathematicsAIOct 5, 2026score 0.172 posts · 0 replies across 1 instances
The thread reports that the Linear Hadwiger conjecture has been proven by Sergey Norin and Raphael Steiner. The posts highlight the publication of the proof and mention the involvement of GPT-6 Astra in the process.

Claims

The Linear Hadwiger conjecture has been proven by Sergey Norin and Raphael Steiner.
Parent: MathematicsEntity: Linear Hadwiger conjectureImpact: positiveDate: Oct 5, 2026Target: Linear Hadwiger conjecture proof

Source posts

@[email protected]
Linear Hadwiger's conjecture has been proved by Sergey Norin and Raphael Steiner (with the help of GPT-6 Astra): https://github.com/snorin239/LinearHadwiger/blob/master/paper/LinearHadwiger.pdf
0 boosts · 0 favs · 0 replies · Oct 5, 2026
@[email protected]
"A proof of the Linear Hadwiger Conjecture " by Norine and Steiner. https://github.com/snorin239/LinearHadwiger/blob/master/paper/LinearHadwiger.pdf
0 boosts · 0 favs · 0 replies · Oct 5, 2026