benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / A four-digit number YEAR is called very good if the system beginaligned & Y x+E y+A z+R w=Y & R x+Y y+E z+A w=E & A x+R y+Y z+E w=A & E x+A y+R z+Y w=R endaligned of linear … · Discussion

Discussing A four-digit number YEAR is called very good if the system begin{aligned} & Y x+E y+A z+R w=Y & R x+Y y+E z+A w=E & A x+R y+Y z+E w=A & E x+A y+R z+Y w=R end{aligned} of linear … · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.