
What happened
An engineer who has studied probability and machine learning for about 10 years published a note saying AI questioning finally resolved a decade-long block on 上極限 (limit superior), the operation behind the formula limsup A_n = ∩∪A_k.
Why it matters
The post illustrates a shift in how people learn hard math — unlimited question-and-answer access, unlike a tutor or boss, is presented as what made the difference.
Summaries like this, in your inbox every morning.
The post is framed as a personal study note rather than a research result. The author, an engineer by trade who began studying probability and machine learning roughly a decade ago, says 上極限 was one of the concepts that stayed out of reach the longest. The turning point came not from a textbook but from AI chat: the author notes that being able to ask relentless follow-up questions, without the social friction of a tutor or a manager, is what made the material stick. The explanation itself is a step-by-step reconciliation of two definitions. In set terms, the inner union from k=n onward shrinks as n grows, and taking the intersection across all n captures events that occur infinitely often — the author's own paraphrase is that no matter how far you go, it happens again. In sequence terms, the supremum from n onward is monotonically decreasing, so by monotone convergence it has a limit, which is the 上極限. The bridge between them, per the author, is the same operation in both cases: keep shifting the starting point forward, discard anything that happened only finitely often early on, and keep what remains at the end. The author closes by predicting that learning itself will change in a fundamental way as a result of this kind of access — a hedged personal view, not a claim backed by data.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
Pax8 launched 8os, an operating system for IT service providers to govern AI agents across client businesses…
Anthropic is offering Blackstone a total return of more than 10% to help finance a US$60 billion AI chip procu…

Meta's personal AI agent Muse Spark surpassed 5 million downloads faster than OpenAI's ChatGPT, Anthropic's Cl…

Bill Gross launched Idealab.ai, a free platform letting users search 1.2 million AI-generated business ideas d…

Atlassian cofounder Mike Cannon-Brookes told Fortune that when an AI agent acts at work, "the accountability i…

Anthropic said Claude, given the task in October 2026, found in under 30 minutes that NIST's five ECDSA curve…
