Founder of WellLens and independent math researcher. I'm a sophomore at the School of Science and Engineering at Townview in Dallas.
I love experimenting with AI and prompt engineering. I use ChatGPT and Claude to write code and work through the bulk of the math, which lets me come up with ideas, test them, and tune the results to my liking.
Portfolio: loganeberwein.github.io
- WellLens. You answer a few onboarding questions and it builds your workout plan. The gym buddy feature keeps you showing up: every day you work out, you take a quick photo as proof, and your friend holds you accountable. In beta on TestFlight, releasing in the next few weeks.
- Checkback: Family Tasks. A parent assigns a task, the kid sends a photo as proof, and approved tasks earn points toward rewards the parent picks. I used to procrastinate a lot, and Checkback fixed that. Releasing in the next few days.
Since August 2025 I've been running AI-assisted research on the Riemann Hypothesis. Unsurprisingly, none of the operator candidates worked, but the point was to create a map of failed approaches with reasoning behind every failure: 190 documented approaches, 297 operator candidates, Lean 4 formalization, and a public corrections log.
Neither paper is a proof of the Riemann Hypothesis.
Email me for any questions about my projects, my prompting methods, or any sort of offers: loganeberwein@icloud.com