Mesmerizing
Source: images.wur.nl/digital/coll...
@adityamakkar.bsky.social
In search of mathematics and ML content. PhD@NYU
Mesmerizing
Source: images.wur.nl/digital/coll...
A critical look at intelligence explosion arguments, with references to I.J. Good, Jimmy Savage's small and large worlds, Kathleen Wilkes' argument against thought experiments in psychology, and Tolkien's theory of subcreation (+ some Sabbath references): realizable.substack.com/p/supertzar-...
02.08.2025 20:17 β π 15 π 4 π¬ 1 π 0Quanta has some coverage on her solution, including from this colourful presentation. One detail that i liked -- she had worked through advanced undergrad math curriculum by herself by 14. Hopefully she is able to handle the sudden attention well.
www.quantamagazine.org/at-17-hannah...
Great intro to Optimal Stopping on those lecture notes by Thomas S. Ferguson
www.math.ucla.edu/~tom/Stoppin...
This week's #PaperILike is "The Power of Resets in Online Reinforcement Learning" (Mhammedi et al., 2024).
If you're doing RL in sim, why not use the sim to its full potential? Reset to any state! (gym.Env.reset() is not all we need.)
PDF: arxiv.org/abs/2404.15417
my p doom? sorry that's not a valid sigma algebra
23.06.2025 23:45 β π 31 π 6 π¬ 1 π 0Looks like a great new foundations and trends monograph arxiv.org/abs/2506.17366
24.06.2025 12:29 β π 2 π 1 π¬ 0 π 0Born on 23 June 1912 in London, Alan Turing, a mathematician, cryptographer and a pioneer in computer science and artificial intelligence
pubs.aip.org/physicstoday...
Hiring a postdoc to scale up and deploy RL-based planning onto some self-driving cars! We'll be building on arxiv.org/abs/2502.03349 and learn what the limits and challenges of RL planning are. Shoot me a message if interested and help spread the word please!
Full posting to come in a bit.
It was a dream come true to teach the course I wish existed at the start of my PhD. We built up the algorithmic foundations of modern-day RL, imitation learning, and RLHF, going deeper than the usual "grab bag of tricks". All 25 lectures + 150 pages of notes are now public!
20.06.2025 03:53 β π 47 π 10 π¬ 3 π 2Does everyone in your community agree on some folk knowledge that isnβt published anywhere? Put it in a paper! Itβs a pretty valuable contribution
26.11.2024 22:31 β π 203 π 26 π¬ 25 π 10βI want a painting of a solar eclipse. Have you seen one?
βYou bet!
Yeah theyβre getting quite good. I think the model I have is something like βclever but sort of dishonest undergrad with an encyclopedic but idiosyncratic knowledge of the arxiv.β βProve [well-known result with a short-ish proof]β is well within their capabilities though they do sometimes screw up.
21.05.2025 01:25 β π 3 π 1 π¬ 1 π 0If the last time you tried to use an LLM for math was ~4 or 5 months ago itβs worth firing up Gemini 2.5 (which you can try for free) or ChatGPT o3 and getting a sense of how rapidly things have progressed.
20.05.2025 13:31 β π 46 π 4 π¬ 9 π 1crushing it on the free will machine (people.ischool.berkeley.edu/~nick/aarons...)
08.05.2025 14:02 β π 14 π 2 π¬ 1 π 0I have learnt good practices from your code for the RL book. It's very close to what I do daily.
github.com/TikhonJelvis...
How does one learn to write good code?
06.05.2025 17:56 β π 2 π 0 π¬ 1 π 0A cute lil writeup of our work trying to scale up meta-learning for partner adaptation:
engineering.nyu.edu/news/nyu-tan...
Also, my first grant!
The Stone-Weierstrass theorem states that any continuous function on a compact Hausdorff space can be uniformly approximated by elements of a subalgebra, provided the subalgebra separates points and contains constants. buff.ly/MbZOAG0
28.04.2025 05:01 β π 7 π 2 π¬ 0 π 0Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Kuratowskiβs 14-Set Theorem : Let T = (S, T ) be a topological space and for any subset X of S, denote by C(X) the complement S \X of X, and by K(X) the topological closure of X. Starting with an arbitrary subset of S , apply C and K repeatedly in any order; then the number of different sets that may be produced is at most 14.
Theorem of the Day (April 28, 2025) : Kuratowskiβs 14-Set Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/ZKGM3fm
notes : buff.ly/A2DK4wC
#mathematics #maths #math #theorem
I like papers that have such intros. From the snippet you wouldn't guess (unless you already have the background) what [application] the paper is about. arxiv.org/abs/2504.16349
25.04.2025 08:07 β π 5 π 1 π¬ 2 π 1A Monge map, i.e., a solution to optimal transport Monge problems, may not always exist, be unique, or be symmetric with respect to the source and target distributions. It was one of the motivation to introduce Kantorovich relaxation. math.univ-lyon1.fr/~santambrogi...
21.04.2025 05:01 β π 15 π 5 π¬ 1 π 0Source: https://commons.wikimedia.org/wiki/File:XYZ_color_matching_functions,_CIE_1931_and_Stockman_%26_Sharpe_2006.jpg
Colours correspond to infinite-dimensional vectors, since there are infinitely many wavelengths of light.
But humans can only perceive a three-dimensional projection of colour (red, green, & blue).
What's interesting is that it's *not* an orthogonal projection. Here's a plot of the basis vectors.
I hope someone writes a Notices article in the next edition, like the one that Stroock wrote for Malliavin www.ams.org/notices/2011...
19.04.2025 02:20 β π 2 π 1 π¬ 0 π 0Hardy showed in 1916 that the last two unnatural looking conditions can be replaced with ab β₯ 1.
www.ams.org/journals/tra...
PSA β if youβre interested in learning about statistical aspects of optimal transport, check out this new monograph by Sinho Chewi, Jonathan Niles-Weed, and Philippe Rigollet: link.springer.com/book/10.1007...
14.04.2025 23:03 β π 43 π 7 π¬ 1 π 2The Berry-Esseen theorem quantifies how fast the distribution of the sum of independent random variables converges to a normal distribution, as described by the Central Limit Theorem (CLT). It provides an upper bound depending on skewness and sample size. terrytao.wordpress.com/2010/01/05/2...
14.04.2025 05:00 β π 15 π 4 π¬ 0 π 0The workshop list is one of those things that makes clear why RLC is so good. I can't choose which one I'd want to attend!
14.04.2025 14:30 β π 15 π 3 π¬ 1 π 0Today, I'm revisiting (some slides which I made for) a short course which I gave in December on "Geometric Functional Inequalities for Markov Chains", and I'm thinking about other ways of motivating the study of this topic. I want to have a go at re-motivating it, from scratch:
13.04.2025 18:31 β π 23 π 3 π¬ 3 π 0Two years ago I taught a course on SDEs in control, optimization, and learning. The introductory lecture can be watched here (I didnβt record anything else, used the blackboard for the rest of the semester): mediaspace.illinois.edu/media/t/1_1d...
31.03.2025 20:58 β π 33 π 4 π¬ 1 π 2