conjecture
13 stories and discussions about conjecture, aggregated from every source we track.
We present an exposition of a proof, discovered by GPT-6 Astra, of the Erdős--Sós Conjecture, which states that every graph with average degree greater than $t-2$ contains every tree on $t\geq 2$ vertices.
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.
After a long hiatus, the problem, which was likely inspired by juggling, has finally been resolved by a group of young mathematicians.
After a long hiatus, the problem, which was likely inspired by juggling, has finally been resolved by a group of young mathematicians.
After a long hiatus, the problem, which was likely inspired by juggling, has finally been resolved by a group of young mathematicians.
After a long hiatus, the problem, which was likely inspired by juggling, has finally been resolved by a group of young mathematicians.
A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.
In A Study of Spinoza's Ethics (1984, §17), Jonathan Bennett argues that the demonstration of Proposition V of Spinoza's Ethica contains identifiable invalid moves and that, even granted those moves, "cannot yield…