impendia

9 ms·

1.
by impendia 8d ago
I'm a mathematician. I have a lot of trepidation about these tools and what they mean for the future of the profession. That said... most of us are not working on problems as famous as Navier-Stokes. Even if OpenAI could scoop me bas
2.
by impendia 23d ago
> those universities that do want to do that As a university professor, I've seen that all universities want to do everything. By which I mean, they employ all sorts of people who are pushing a huge range of agendas. You can't
3.
by impendia 28d ago
Update: the linked page has now been updated to say: > it was Claude, with Levent Alpöge and Ava Howell! Alpöge is the same guy who prompted Claude for a proof of the Jacobian conjecture.
4.
by impendia 28d ago
I'm a research mathematician, and to me the biggest surprise is that the user didn't identify themselves or (yet) try to claim credit for their work. Within academia, it is to your definite advantage to have your name associated
5.
by impendia 28d ago
> The record before this morning was 29 and people suspected that was as high as it got. Exactly this. A fundamental question in the subject is, whether elliptic curve ranks are bounded. Contrast with e.g. prime numbers, of which are kno
6.
by impendia 1mo ago
From this page by Keith Conrad: https://kconrad.math.uconn.edu/blurbs/ If you're interested in learning any of the advanced math topics covered here, pretty much everything Keith has written is gold.
7.
by impendia 1mo ago
Mathematician here. There is a lot of recent work on the Lean project -- when a proof can be translated into Lean code, then it can be strictly and formally validated. https://lean-lang.org/ But otherwise, mathematical proo
8.
by impendia 1mo ago
Indeed, that's who I was thinking of. At the time I thought of them very much as "managers" and not having the same job as me. But I happened to see one of the shift managers' paystubs once, and she was not exactly makin
9.
by impendia 1mo ago
Have front-line employees come under pressure these days? When I worked in fast food, in the nineties, the managers were under pressure to optimize a variety of metrics. But they didn't have a lot of carrots or sticks, and most of th
10.
by impendia 1mo ago
Once I quit my internet service, and someone representing the internet provider called me and asked if I'd agree to participate in an exit survey. Sure, I said. "On a scale of 1 to 10, how satisfied were you with..." "Um
11.
by impendia 1mo ago
Guess I got spoiled by reading Kant in one of my college classes. He was all about trying to describe morals based on rules. That said, picture someone killing a kitten and someone else killing a cockroach. One could prevaricate all day wit
12.
by impendia 1mo ago
What would it mean for them to not exist? The issue, as I see it, is that elite credentials are overvalued, and that we live in a society which is becoming more and more unequal, and where housing prices in particular are skyrocketing. With
13.
by impendia 1mo ago
How are you distinguishing them? I had the impression they were essentially synonyms, and this was borne out by two university courses in philosophy which I took. That said, googling "morals vs ethics" turns up quite an interestin
14.
by impendia 1mo ago
LOL, pleased to read that Air Canada got smacked down. Yeah, if I'm calling or chatting with a company, I expect them to stand by whatever commitments they make, and I will judge them harshly if they don't. This is true whether an
15.
by impendia 2mo ago
I have to assume that there are hedge funds or someone like that, already investing extensive effort into trying to get AI to beat the market. I assume that it can't, but if I'm wrong then whoever figures this out stands to get
16.
by impendia 2mo ago
Yup. I get lots of cold emails from salespeople whose products I couldn't possibly give less of a shit about. But I agree, those aren't what this thread is talking about.
17.
by impendia 2mo ago
I'm taking group fitness classes at a local gym, and I love them. I assume that AI is quite capable of designing workouts, and creating audio files with instructions that I could take to the gym. But I have no interest in that; the app
18.
by impendia 2mo ago
One day, my psychiatrist had brought her new dachshund puppy to work, and she invited me to pick him up. He promptly licked all over my face and then fell asleep in my arms. I joked to her that puppies beat SSRIs any day of the week, that s
19.
by impendia 2mo ago
Thanks, I appreciate it. Yeah, I tried out an online weight loss program (Wondr) that made the same point. When it was video of psychologists, I could definitely understand what they were saying. Unfortunately, when it was video of a chef,
20.
by impendia 2mo ago
May I ask you to explain yourself? For some people, mealtime is special and a little bit sacred. I have friends who are avid cooks, and for whom eating is often the highlight of their day. I have never been one of those people, and I'm
21.
by impendia 2mo ago
I'm an academic mathematician, and could you explain your second prediction? It goes entirely against the culture of research mathematics to hoard secrets. If you've done something interesting, you want to share it, and it's
22.
by impendia 2mo ago
I'm a research mathematician. I can see that you're arguing in good faith, and indeed I have a lot of respect for anyone willing to argue an unpopular position. That said, I do find your suggestion to be completely farfetched. The
23.
by impendia 2mo ago
I have no idea what actually happened behind the scenes, but the human prompter, Levent Alpöge, indeed has deep math expertise. Princeton PhD, Harvard postdoc, and some excellent research (prior to this) to his name. https://alpo
24.
by impendia 2mo ago
For the Jacobian determinant to be constant is a massive coincidence, in general it is some complicated and messy polynomial. The conjecture was that this coincidence couldn't happen, except for simple special cases. So Alpoge and Fa
25.
by impendia 2mo ago
This is fascinating. That said, if it's possible to do better than random guessing, then does this reflect the fact that the five charts are presumably hand-selected to be "interesting"? My naive guess, and I'd be very c
26.
by impendia 3mo ago
Indeed, I find this story quite interesting (and disturbing) from the Belgian point of view. Suppose the Belgian government declared the ambassador persona non grata , and sent them on the next plane to Washington. Presumably this would ra
27.
by impendia 3mo ago
Since I last looked, at least on my browser the gameboard has been significantly enlarged. I'd say it's now obvious, but previously I mistook a bishop for a pawn.
28.
by impendia 3mo ago
This is cool! One suggestion: some way to tell what the enemy pieces are? Maybe a legend to the right of the board? I ended up discovering by trial and error.
29.
by impendia 3mo ago
Math professor here. If you want to learn math, then for the most part I recommend choosing time-tested avenues, using popular materials. There are two reasons for this: (1) Popular materials are usually popular for a reason: they reflect a
30.
by impendia 3mo ago
> People treat email has a permanent data store. Is this strange? I'll be trying to solve some problem, half-remember an email conversation from several years ago on something relevant, and want to look it up. This feels like the mo

More ›