Torgeir Lysen

@captgouda24 I wonder if these rankings are equally strong predictors in other fields

They find that the ratings they give accurately predict future research performance. It makes one uncomfortable. One is scared of being judged unfairly, of course; but it is far more terrifying to be judged accurately, and found wanting.

@t0tientqu0tient Sometimes I wonder how my life would’ve been if I was just allowed to skip a few years ahead in my education

Not just cs/tech. Entire fields in academia struggle with this, and the problem is structural, thanks to their obsession with child prodigies and the normalization of awards/grants/scholarships designed specifically for people below a certain age.

@cxgonzalez Painting and short film making? Maybe I should get back into it

whatever you were into at 16 is what you were born to do

@indefeasible_ I assume you’ll find your people when you get to Harvard, maybe you can connect with some other incoming undergrads

how does one find like minded peers to socialize with

@richa_lq Ramanujan just knew the black magic of modular forms, where everyone seemingly just pulls coefficients out of their ass

Unironically Ramanujan should be the goalpost cause how can it be general enough replication of human intelligence if we do not solve for the creative unlocks that happen while one dreams?

@chloeallegra228 Oh he just meant like other publishers lol, just like for the sake of the aesthetics of my bookshelf. Can’t all be springer books

@torgeirlysen I go on thriftbooks.. what other places

If anyone rlly feels like gifting a girl a math textbook, like if that would be fun for u, lmk lol link.springer.com/series/10033/b…

@Hazeludw Google be selling my data so much that there’s probably more people reading my google docs than my posts

mini accounts posting to absolutely ZERO engagement

@chloeallegra228 When I found out about these sales I started buying a bunch of springer books. A friend of mine told me I have to buy some of my math books from other places as well

@torgeirlysen I was wondering how people buy sprinter books they’re so nice but they’re so pricey

@chloeallegra228 They’re like multiple times a year. That’s like the only time I buy springer books lol

@torgeirlysen omg noted I didn’t know they had those

@miniapeur Oh hell no oh no no

@joakial_ Mathematics is a joy to experience

It’s a bit tempting

@indefeasible_ Let’s go! Awesome stuff

@atulit_gaur My achievements are far less impressive and I still add them to my bio lol

how many PhDs did elon had at 19? it is fucking impressive and he has every right to add it to his name

@clara_de_lemon @littmath As someone in analysis, I would disagree that my work is significantly more “economically relevant” than that in other fields

@littmath As another thing, it should be noted that many of these recent problems solved by ai werent in "economically relevant" fields (statistics, analysis, etc). This should make sense, considering those departments are often bigger, with incentives for even the simplest problems

For now I think recent successes of AI for mathematics should be understood as a complement to, rather than a substitute for, human mathematical labor. This is because AI, at present, is most productive working horizontally, whereas humans work vertically. By this I mean that the highest quality AI mathematics thus far has been obtained by feeding entire problem lists into a model or scaffold and picking out the few high-quality successes. It is very hard to predict in advance where these successes occur. On the other hand, humans typically pick a few questions and try to understand them deeply--and historically, when they do so, they make progress! I think this points to increasing value of problem lists, and also suggests that "solved an open problem" is an increasingly useless proxy for what we care about in mathematics. There are a lot of problems that have sat open for a long time because the right person didn't happen to look at them, and many others that are open because they benchmark our failure to fundamentally understand some basic object. I've solved old open problems that I think had the former flavor rather than the latter. I think my best work, however, is not about solving long-open problems, but rather inventing a new ones that help to understand something we care about, and making progress on that.

@Observer_ofyou This guy got a bachelor’s degree at 14, what the hell was I doing at 14?

Ph.D. at 19💀

@florianederer Hard to say just because the speed is absurd, but I don’t think any of these problems were that well known

If a human did this over a few years, how famous of a mathematician would that human be in math academia? Would all the top places scramble to hire you?

@Noahpinion Every year many mathematicians solve old open problems other mathematicians have worked on before. That does not mean that these mathematicians are once in a generation geniuses.

Honestly this doesn't sound credible. Professional mathematicians tried for years to solve that problem and failed.

@TonyTheMathLion What kind of arcane magic is this?

Ask a toddler on the street

@AcerFur He muted you? What did bro do😭

@torgeirlysen Sam isn't the one to pester about it, plus I think he has me muted ngl. In any case, it's something I want to spend some time working on when I'm there

I wish the models were better at Lean... they waste so much time writing flawed code, recompiling, and then fixing errors that arise ad infinitum instead of one-shotting correct code... this surely can be fixed with synthetic Lean data so I humbly request labs to work on it pls