Buckmaster & Alpöge publish Euler (112pp), Boussinesq (76pp), porous media papers with Lean proofs
xennygrimmato_ · x · 2026-09-09
The Buckmaster and Alpöge papers behind the day's math buzz are now open to read: Euler equations (112 pages), Boussinesq (76), porous media (57), plus Lean formal proofs and a personal statement. A quoted reply urges the community to promote these original papers instead of those of 'the thieves,' pointing to an authorship/priority dispute around the same results.
More from Research
- Neural network built from fruit fly connectome shows surprising skill at recognizing human emotions — burny_tech · 2026-09-09
- Synaptrix demos non-invasive brain-computer interface Atlas: full cursor control from EEG, no implants — burny_tech · 2026-09-09
- gRely: Genentech team adds reliability scores to genome sequence-to-expression variant predictions — anshulkundaje · 2026-09-09
- Science Robotics study: motion tracking model trained on 100M+ frames enables natural humanoid whole-body movement — zhengyiluo · 2026-09-09
- Asterisk Study Tracks Emotional Engagement Shifts on r/ChatGPT After GPT-4o — jessicadai_ · 2026-09-09
- What if AI solves the hard problem of consciousness and we can't understand the answer? — ClankerCore · 2026-09-09