it's over
So the longest total eclipse on land in modern history is going to occur over the Valley of the Kings next year.
That’s gotta be when the mummy wakes up, right? Since the 2020s haven’t been wild enough yet.
Elliot Paquette
@poseypaquet
Mathematician.
- Humans doing math have always been irrational, incidentally a word likely coined by mathematiciansa human doing math is now irrational
- I think this metaphor is mostly good. AI proofs, even with the best SoTA models, often handwave over mistakes that only come out on the process of refining (the handwave is a classic human error, too). This is also a key feature of all plain language math: arguments that inMathematicians are going to have their hands full understanding what AI discovers. It's like we replaced human miners with mining machines, but humans still need to do the refining and processing of the raw ore.
- I guess we're going to need a new declaration.I went to the (great) workshop in Leiden that led to the Leiden Declaration, but ended up not signing it, as it didn't really represent my views, though it wasn't too different either, so the decision wasn't an obvious one. I've explained more in a blog post. Link in next tweet.
- I think we address it by ensuring the rest of the interview process functions correctly: the talk, the discussions (which perhaps need to be closer to interrogations about a paper) and the weight on other parts of the CV. Maybe we mentally recalibrate our body-of-work-metricsAgree in principle, but how does this work practically? Someone lands a major result that could get them a tenure-track job, or tenure, something that has a huge financial impact on their life, which with a little work they could disguise as their own authentic work—and they’re
