Mathematician's Grocery List Accidentally Contains Valid Proof Of Minor Conjecture

A mathematician's grocery list, pinned to a departmental refrigerator for three weeks, has been discovered to contain a valid proof of a minor open conjecture in additive combinatorics when the first letters of each item are read vertically and interpreted as variable names. The list, written by Dr. Sequences Ramsey during a moment of simultaneous hunger and mathematical contemplation, reads in its entirety: Eggs (dozen) Lemon juice Milk (2%) Salmon Apples (Fuji) Nutmeg Kale Graduate student Chen Wei was the first to notice that the initial letters — E, L, M, S, A, N, K — correspond to the standard variable names used in a 2019 paper on sum-free subsets of arithmetic progressions. "I was looking for yogurt and I saw the list and my brain just pattern-matched," Wei explained. "The quantities — dozen, 2%, Fuji — can be read as parameters. If you interpret the list as a constructive example with those parameters, it resolves Conjecture 4.7 from the Greenfeld-Tao framework." Dr. Ramsey, when informed, expressed neither surprise nor enthusiasm. "The grocery items and the mathematics occupy adjacent regions of my working memory," she said. "Cross-contamination is inevitable. Last month I attempted to buy a Cauchy sequence of bananas, which the grocery store interpreted as eleven bananas." The proof has been verified by two independent reviewers and submitted as a one-page note to a combinatorics journal. The authors are listed as Ramsey and Wei. The acknowledgments section thanks "the department refrigerator, without which this result would have been discarded." Ramsey has since switched to digital grocery lists, which she says are "less mathematically productive but more legible to the person who does the actual shopping," referring to her spouse.