@youshenlim.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Aaron (Youshen) Lim

youshenlim.bsky.social

did:plc:cxbkmnuhy6pjnjfxheyze4em

Researchers disproved a major conjecture in functional analysis and discovered optimal bounds for almost orthogonality in Lp spaces. They used Grok as a research assistant to explore mathematical lemmas. AI is now contributing to pure math breakthroughs.… https://arxiv.org/abs/2605.05192

2026-05-07T23:11:32.076Z