151–160 of 637 posts
Earlier quoted context omitted.
That means that academia is outdated not that LLM math is bad
Okay so you are saying the old incentive structure is outdated. What is the new incentive structure in the LLM era? What exactly makes people want to understand LLM-produced math?
The incentive is solving the problem and understanding the solution.
"how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place." That sounds like an "us problem", not an AI or OpenAI/Anthropic problem.
Are you implying that OpenAI using someones unpublished research without their permission to solve an career defining math problem with their latest model in order to publish first is a problem with the mathematicians? My read on this document is that people's work isn't being fairly cited more than what does it mean to be a mathematician in this age.
To be honest I didn’t get that much outrage here: https://news.ycombinator.com/item?id=49662116 It seems like a lot of the issue here is that these problems aren’t interesting in and of themselves, but they lead down interesting roads. It defeats the purpose if you solve them without getting any real understanding. It’s akin to saying you’ve solved “pancake flipping” problems with a waffle maker, or “travelling sales…
Going to the gym and using a forklift
Earlier quoted context omitted.
I don't understand how that metaphor applies here, you seem to contradict yourself. The mathematicians are mad at openai. If the mathematicians are the black ants and OpenAI is shaking the box, who are the red ants?
Everyone that will now pick sides. Just wait, I’m already seeing it on Reddit.
Don't worry about what they write, they just want to feel emotions from any news article.
The concerns seem valid. I'm unclear what the ask is, though. What, even in theory, is a practical and realistic fix?
When writing math papers, many (but unfortunately not all) mathematicians go through a post-processing step, where they take their ideas and proofs, and try to reduce them to simple and reusable core ideas that can be understood by the reader. Good writers will often also provide some representative examples that guided the proofs, explaining why various intermediate results can't be strengthened and why the proof ca…
"how to make sure that, as AI changes the way work is done, we do not lose sight of what that work was meant to achieve in the first place." That sounds like an "us problem", not an AI or OpenAI/Anthropic problem.
We are all going to have to come to terms with entities more capable than we are, and in many cases, letting the real work be done by the AIs will be the right thing to do. For all the huffing and puffing about the "human touch" in medicine, it will eventually become downright irresponsible to consult only with a human doctor. I am not sure if this is the case in mathematics or not, but if it isn't, that suggests math will be relegated to more of a hobby than a cutting edge scientific discipline.
Puts the onus on the AI companies to provide a specific replacement mechanism, no? Unless I'm unfamiliar with something else he's written that proposes something more specific and constructive To Tao’s credit he obviously identified the problem very clearly and admits understandably "we did not have the time to have a more consultative process, as with Leiden; but we decided that the urgency of the situation was such…
We are moving forward and if that means no human wins a fields medal because they didnt spend three decades working on a problem that could be solved in three days, the world will be better for it.
Earlier quoted context omitted.
Right. It seems like reading an AI proof (although it may not be well written) will provide the same insights as reading a proof from another mathematician, assuming it's been reviewed and edited, just like any human-authored publication. If the work is inherently valuable on it's own, I feel like that's mostly what matters.
At issue is the fact that it doesn't typically work like: mathematician produces a proof in isolation, generates a PDF, and shares it with a bunch of people. There's a whole culture and community going on behind the scenes with conferences, seminars, lectures, chats in the hallway, advising students, etc. that AI-generated proofs bypass.