1. mlpoknbji Nov 30, 2025 parent

   Somewhat unrelated but can anyone recommend a way to edit the text of a PDF using LLM? Something like AI + acrobat pro?
2. mlpoknbji Nov 23, 2025 parent

   Very cool! This is one of the more impressive "AI does math" writeups I have seen.
3. mlpoknbji Nov 20, 2025 parent

   Amazing how many different areas of math Jim Simons made serious contributions to, before turning to finance.
4. mlpoknbji Oct 24, 2025 parent

   Assuming you have some math background but no Lean background: https://adam.math.hhu.de/#/g/leanprover-community/nng4
5. mlpoknbji Oct 24, 2025 parent

   I think that (most) mathematicians were not that interested in formal proof until quite recently (as opposed to computer scientists), and most of the interest in lean has been self-reinforcing, namely there is a (relatively speaking) huge library of formally verified mathematics. So now basically anyone who cares about formal verification as a tool for mathematics is working in lean. There are of course numerous techincal differences which you can read about if you google coq vs lean.
6. mlpoknbji Sep 30, 2025 parent

   If it was a sure thing, why publish the paper they did? Why not just solve NS?
7. mlpoknbji Sep 11, 2025 parent

   Citation based metrics are much more prevalent in physics than in math (at least in the US and most countries in Europe). When compared with physics, my impression is that mathematics has the tradition "slow, long term" over "rapid, incremental." Of course, it's not perfect.
8. mlpoknbji Sep 11, 2025 parent

   The key is that mathematicians in the US and most parts of Europe do not count citations. So this is not really an issue.
9. mlpoknbji Sep 11, 2025 parent

   This article does not seem to quite convey the experience of a pure mathematician. Yes, citation fraud is happening on an apalling scale, but no it is not a serious issue for mathematicians.

   The problem of AI generated papers is much more serious, although not happening on the same scale (yet!).

10. mlpoknbji Aug 31, 2025 parent

    It seems like we should switch from the academic model to a system of funding based purely on vibes.
11. mlpoknbji Aug 24, 2025 parent

    This problem is solved by software like gradescope. Makes grading extremely fast and much more consistent (because of easy rubric adjustments on the fly). This is more concerning a STEM exam, admittedly I don't know how well this works on humanities essays.
12. mlpoknbji Aug 24, 2025 parent

    The commenters lamenting this trend presumably have not given a takehome assignment to college students in recent years. The problem is huge and in class tests are basically the only way to test if students are learning. Unfortunately this doesn't solve the problem of AI assisted cheating on in-class exams, which is shockingly prevalent these days at least in STEM settings.

This user hasn’t submitted anything.