mlpoknbji

7 ms·

1.
by mlpoknbji 29d ago
Same reason why you would use arxiv instead of posting the result to X.
2.
by mlpoknbji 1mo ago
My high hopes were quickly dashed at the step that involved turning a complex topic into rollercoaster tycoon.
3.
by mlpoknbji 1mo ago
I agree. Prompting 5.6 Sol to "Review these writeups and include appropriate citations and credit where appropriate" probably would have been a step in the right direction. Then again, this would require them to actually care abou
4.
by mlpoknbji 7mo ago
> But we know that any person who uses AI is likely to improve at what they do. Do we?
5.
by mlpoknbji 7mo ago
Interesting post. The First Proof experiment really showed us the near future of AI/math interactions, some impressive success, but also lots of extremely hard to verify text, misformulated lean "proofs" etc. but progress on
6.
by mlpoknbji 7mo ago
Obviously not
7.
by mlpoknbji 7mo ago
NYTimes: https://www.nytimes.com/2026/02/07/science/mathematics-ai-pr...
8.
by mlpoknbji 7mo ago
This is a very interesting contribution to the AI/math space. I hope it can be seen by nonmathematicians interested in this. The mathematicians involved are quite well known (Martin Hairer is a Fields medalist). See https://
9.
by mlpoknbji 8mo ago
Peer review should be disrupted, but doing peer review via social media is not the way to go.
10.
by mlpoknbji 8mo ago
Yes this is the standard proof of infinitely many primes but note that my prompt asked for infinitely many even primes. The point is that GPT would take the correct proof and insert "even" at sensible places to get something tha
11.
by mlpoknbji 8mo ago
This also can be observed with more advanced math proofs. ChatGPT 5.2 pro is the best public model at math at the moment, but if pushed out of its comfort zone will make simple (and hard to spot) errors like stating an inequality but then a
12.
by mlpoknbji 8mo ago
My favorite early chatgpt math problem was "prove there exists infinitely many even primes" . Easy! Take a finite set of even primes, multiply them and add one to get a number with a new even prime factor. Of course, it's got
13.
by mlpoknbji 8mo ago
It's helped, but it's not correct that mathematicians are scoring major results by just feeding their problems to gpt 5.2 pro, so the OP claim that mathematicians are just playing off AI output as their own is silly. Here, im talk
14.
by mlpoknbji 8mo ago
I think a more realistic answer is that professional mathematicians have tried to get LLMs to solve their problems and the LLMs have not been able to make any progress.
15.
by mlpoknbji 8mo ago
I think "pretty soon" is a serious overstatement. This does not take into account the difficulty in formalizing definitions and theorem statements. This cannot be done autonomously (or, it can, but there will be serious errors) si
16.
by mlpoknbji 10mo ago
Somewhat unrelated but can anyone recommend a way to edit the text of a PDF using LLM? Something like AI + acrobat pro?
17.
by mlpoknbji 10mo ago
Very cool! This is one of the more impressive "AI does math" writeups I have seen.
18.
by mlpoknbji 10mo ago
Amazing how many different areas of math Jim Simons made serious contributions to, before turning to finance.
19.
by mlpoknbji 11mo ago
Assuming you have some math background but no Lean background: https://adam.math.hhu.de/#/g/leanprover-community/nng4
20.
by mlpoknbji 11mo ago
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 l
21.
by mlpoknbji 1y ago
If it was a sure thing, why publish the paper they did? Why not just solve NS?
22.
by mlpoknbji 1y ago
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 &quot
23.
by mlpoknbji 1y ago
The key is that mathematicians in the US and most parts of Europe do not count citations. So this is not really an issue.
24.
by mlpoknbji 1y ago
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 s
25.
by mlpoknbji 1y ago
It seems like we should switch from the academic model to a system of funding based purely on vibes.
26.
by mlpoknbji 1y ago
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
27.
by mlpoknbji 1y ago
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