auntienomen

10 ms·

1.
by auntienomen 7d ago
And conceptually novel approaches to outstanding problems are the sort of thing that a retrain should pick up on, because they would be hard to compress into what it already knows.
2.
by auntienomen 8d ago
It'd be really nice to have bolt-on after-market automation. I'm not sure if the car companies will want to accommodate this, but I'd really love to make my old Honda self-driving. I remember a company called Ghost Locomatio
3.
by auntienomen 11d ago
Those notations are used when writing down the models, because they make clear the intrinsic geometry, the basic symmetries, etc. But they're not used so much in the study of solutions to the equations. Solutions tend to have peculiar
4.
by auntienomen 12d ago
Frenkel does a nice job explaining the Langlands program in general. But Buzzard's complaint about Langlands, I believe, refers specifically to the proof of a version of the Geometric Langlands Conjecture by Gaitsgory et al. The pro
5.
by auntienomen 13d ago
Do we have any examples of an current day AI system introducing a novel concept or perspective. We've got plenty of counterexamples discovered and some theorems proven, but afaik nothing analogous to a new definition.
6.
by auntienomen 17d ago
This comment misrepresents what the cancelled program does.
7.
by auntienomen 29d ago
There are days when I suspect Google does not believe in doing user research.
8.
by auntienomen 2mo ago
Yeah. In math at least it's clear that you don't know what's going on. In other fields, it's very easy to think you understand without knowing how much you're missing.
9.
by auntienomen 2mo ago
Glad to see that Cython got a shout out here. It's not that widely used, but it's a lovely experience. It uses the CPython ABI to drastically reduce the friction of switching between C & Python.
10.
by auntienomen 2mo ago
More generally, don't trust BigCo AI agents with _any_ IP. They have no incentive not to use your IP as training data.
11.
by auntienomen 3mo ago
A crucial caveat: basic research investment runs on the same logic as venture capital investment. We know that most mathematical efforts will be worthless. Our experience has lead us to expect that a very small number of such efforts -
12.
by auntienomen 3mo ago
I'd argue that civilization is the story of people finding ways to overcome what they previously had to tolerate.
13.
by auntienomen 5mo ago
The problem with prediction markets is fundamentally that they're unregulated. Modern equities and futures markets are highly evolved and rather carefully regulated systems. We've spent centuries learning what the failure modes a
14.
by auntienomen 6mo ago
ITPs are far older than LLMs in general, sure, but that's a pedantic distraction. What everyone is talking about here (both the comments, and the article) are ITPs enriched with LLMs to make the "smart" proof assistants. T
15.
by auntienomen 6mo ago
Exactly this. LLMs really aren't built for discovering new mathematics, especially _interesting_ new mathematics. They're built to try the most obvious patterns. When that works, it's pretty much by definition not interest
16.
by auntienomen 7mo ago
It's going to have to be a mixture of approaches. Stratospheric injection buys time for more holistic solutions.
17.
by auntienomen 7mo ago
There's always some risk of confusing the model with the reality, but yeah, if you have chiral fermions interacting through gauge fields and gravity, the charges have to say satisfy all of the anomaly cancellation conditions (there&#x2
18.
by auntienomen 7mo ago
There does appear to be a deeper reason, but it's really not well understood. Consistent quantum field theories involving chiral fermions (such as the Standard Model) are relatively rare: the charges have to satisfy a set of polynomial
19.
by auntienomen 8mo ago
This might be the single best blog post I've ever read, both in terms of content and style. Y'all should read this, and make sure you read to the end. The last paragraph is priceless.
20.
by auntienomen 9mo ago
No wonder Gatsby is frequently misunderstood: Most people won't have the experience needed to understand it until they're in their 30s, but we prescribe it for high schoolers year after year.
21.
by auntienomen 9mo ago
There is a good ending to Game of Thrones: evil wins, everyone dies. All the fools who pursued their own interests rather than face an annihilating threat get annihilated. It's right there in the show's motto. "Winter is
22.
by auntienomen 9mo ago
A lot of the time, the definitions peculiar to a subfield of science _don't_ require much or any additional technical background to understand. They're just abbreviations for special cases that frequently occur in the subfield. L
23.
by auntienomen 9mo ago
On a related note, I've always regarded Python as the best IDE for writing C. :)
24.
by auntienomen 9mo ago
The answer is still "No".
25.
by auntienomen 9mo ago
If the headline is a question, the answer is "No".
26.
by auntienomen 9mo ago
His foundations are still doing good work.
27.
by auntienomen 10mo ago
I think at this stage, most mathematicians recognize that formal proof verification is a real and interesting thing. We have extremely prominent mathematicians like Scholze & Tao making a point of using these tools. But in many cases,
28.
by auntienomen 11mo ago
Agree. In fact, I said the list included both genres in my original comment.
29.
by auntienomen 11mo ago
I think there are 2 different series. The "SF Masterworks" seeme to be fans-liked-it, while the "Fantasy Masterworks" is editor favorites.
30.
by auntienomen 11mo ago
The Ted Sturgeon of our era.

More ›