lagrangeinterpolator

joined 1 year ago
[–] lagrangeinterpolator@awful.systems 14 points 4 days ago (3 children)

Mathematicians are not entirely happy about OpenAI's ten mathematical results. As it turns out, the proofs did not cite many of the existing techniques in the literature. The plagiarism bot is still a plagiarism bot. https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/

“They are running roughshod over the work of others who came before them in a deliberate way,” says Steven Miller, a mathematician at Yeshiva University, who argues that OpenAI has effectively plagiarized his own research. “It seems completely systematic to me, and it points to research misconduct.”

The LLM-generated proof hinges on a particular mathematical argument that it presented as its own but that actually first appeared in a 2016 paper by Miller and a collaborator.

The discovery stunned Francesco Fournier-Facio, a mathematician at the University of Cambridge, who studies group theory—at least until he “engaged with this breakthrough as I would if a human had written it,” he says. The result, he and some of his colleagues found, wasn’t as novel as it first appeared. Like a number of recent AI breakthroughs, it pasted together ideas from the mathematical literature to build a new theorem. Once again, the LLM’s trick is its superhuman patience for assembling puzzle pieces, not the ability to make some profound intellectual leap.

In particular, Astra’s key mathematical step combined ideas first found in two papers from 2016 and 2019. Andreas Thom, a mathematician at the Dresden University of Technology, who co-authored the 2019 paper, summarized the result on MathOverflow.com, calling it “creative and at the same time elementary.”

He is spending the equivalent of $1 million a year on tokens just to develop this game with 6 concurrent players on a good day. Of course, he isn't actually paying that much. Instead, he just has a dozen different $200/mo Max subscriptions to get the same amount of tokens for $33k a year.

AI economics, baby!

[–] lagrangeinterpolator@awful.systems 12 points 1 week ago* (last edited 1 week ago) (6 children)

Clammy Sammy acknowledges Ed Zitron for the first time! https://xcancel.com/sama/status/2084663673570971990

His response is the Live Laugh Love of 2015 Silicon Valley platitudes:

i would rather be an optimist and work hard than a pessimist posting about why things won't work.

it's much more difficult and the most likely path is failure, but society fails if people don't try.

no amount of "it will never work" essays will drive society forward.

Of course, building data centers that use untold amounts of rare earth metals, electricity, and water while spewing out tons of pollution and scraping every last bit of human content in order to remove people from their jobs by doing them badly is what drives society forward. Profits fail if oligarchs don't try. Actually, the AI companies don't even need profits.

[–] lagrangeinterpolator@awful.systems 15 points 1 week ago (3 children)

The OpenAI hacking incident has put everyone on edge. Anthropic, not to be outdone, decides to publicly announce that they have committed not one, not two, but three crimes! Come on! I was told this wasn't a marketing campaign!

[–] lagrangeinterpolator@awful.systems 10 points 1 week ago* (last edited 1 week ago) (9 children)

Before the days of AI 2027, he became famous in 2024 for posting one of the original pieces of writing in the line-go-up genre: Situational Awareness. It seems that like any good grifter, he used this opportunity to make money (in this case by starting a hedge fund).

[–] lagrangeinterpolator@awful.systems 14 points 1 week ago* (last edited 1 week ago) (3 children)

There is something about this picture, a warehouse full of books to be destroyed by Anthropic for training data, that just makes me sick. Knowing that they are destroying books in the abstract is bad enough, but seeing the sheer scale of it makes me viscerally angry.

Karen Hao called her book Empire of AI for a very good reason. The empire has all these noble narratives of bringing civilization and progress to the colonies, but in reality the empire only sees resources to be extracted, repackaged, and sold back to their subjects at a fee. Kudos to those who saw this immediately and fought against it. Shame on those who believed in the narrative of progress, to the point where many of them are collaborators with the empire.

Whenever a smarmy fellow on Linkedin posts about how AI is making so much progress in coding or math, I want them to see this picture. I want them to see the videos of families in tears after a data center takes away their home with eminent domain, and other families who have to deal with the resulting pollution. Go beyond the bloodless math of tokens and instead see for yourself what this all truly costs. I hope it was worth it.

It gets worse. I found another article about the same podcast: Sam Altman says AI won't shorten the workweek because humans secretly enjoy being busy.

"Technology, for a long time, has been promising people that they're going to work less and they're going to have all this leisure," Altman said. "But somehow we never get the promise of the four-hour workweek at mass scale in society," he added. "And I don't expect AI to change that."

"It's like a relative game. People are very focused on how they're doing relative to other people," the CEO said.

"I think we're all going to be much busier than we thought we were supposed to be in a post-superintelligence world. We're still going to complain about it, but secretly we're going to be happy," Altman concluded.

The chuds are all at r/accelerate now. "We're the unapologetically Pro-AI alternative to r/singularity, r/futurology, r/artificial & r/technology which are becoming filled with Luddites, Techno-Decelerationists, Techno-Reactionaries, & Anti-AIs."

[–] lagrangeinterpolator@awful.systems 12 points 2 weeks ago* (last edited 2 weeks ago) (8 children)

Clamuel did another podcast. I don't want to waste my time watching it, but I want to sneer at some choice quotes from news articles breathlessly reporting this stuff as gospel 1, 2

"We are now, like, in the singularity"

Is the singularity in the room with us right now? Even the people on X the Everything (Including CSAM) App aren't so convinced.

Altman said on the podcast that just a decade ago, the so-called singularity still felt like a distant and improbable dream — something he and his colleagues would discuss casually over lunch.

"Now we're actually in the moment that we used to talk about at the lunch table in a very not-serious way," he said. "I've been waiting for this my whole life, and I think it's going to be incredible, hugely positive, awesome for the world."

Do you feel it? Do you feel incredible? Do you feel hugely positive? Do you feel awesome, now that the singularity is here? Oh wait, he's speaking in the future tense again, never mind. Force of habit.

It's also funny how he talks about how positive things are gonna be immediately after the super scary hack done on Hugging Face (really due to incompetence on both sides). Oh no, the AI is gonna kill us all! It's going to be incredible, hugely positive, awesome for the world.

Later in the podcast, Altman criticizes AI leaders who have repeatedly warned that AI is dangerous. He didn't name Anthropic, his primary competition, but its CEO, Dario Amodei, is well-known for making dire predictions about the future in his calls for greater attention to safety.

"I also think some of the alternative visions painted by other companies are quite terrifying," Altman said. "I'm going to make sure that gets pushed against and is not what happens."

At least Clammy realizes that all the doom trolling about how AI will replace and destroy all humans turns out, surprisingly, to lead to overwhelming negative public opinion. But this statement truly reassures me that Scammy has good intentions about AI safety. He will make sure this is pushed against and is not what happens. He wouldn't want another super scary, dangerous hack that just so conveniently turns out to be excellent marketing.

OpenAI CEO Sam Altman says one of his biggest concerns about AI isn't whether it becomes too powerful in and of itself, but that a single company could control that power.

Yeah, it would be really bad for Anthropic to control all the power of AI. It would be a disaster to hand everything over to Anthropic.

"Every time that humanity has traded off its liberty for safety, it's been a long-term net loss," Altman said. "We are going to put this in the hands of people. We're going to empower them. We are going to let society express its ideas and use this technology in the way they want."

Society is expressing its ideas about AI, all right. But I feel like they aren't what he has in mind.

Altman, meanwhile, said preventing such power from becoming overly concentrated has long been central to his vision for AI, even as his company continues to keep its own models closed.

"For so long now, I have felt focused on this singular goal of abundant intelligence and a belief that incredible human prosperity will come from that, as long as we don't have a weird power concentration and kind of a new authoritarianism," he said.

Well, we seem to have a weird power concentration and "kind of" a new authoritarianism, but I don't see any abundant intelligence or incredible human prosperity.

Lots more sneers on the Better Offline subreddit.

[–] lagrangeinterpolator@awful.systems 3 points 2 weeks ago* (last edited 2 weeks ago)

It is surprising how many exceptionally strong mathematicians have started working for OpenAI and Anthropic. These people would have easily become professors at top universities if they stayed in academia. I think many mathematicians, especially the competitive ones at the top, have a "progress at any cost" attitude (and I'm sure the paychecks helped). As for the results, you still need good mathematicians to sift through all the output to identify that the proofs are valid.

I would honestly be positive about universities developing their own specialized math AI (in an ethical manner) to help mathematicians get these kinds of results, but right now, AI is inseparable from these evil companies. Thankfully, I believe this is a likely outcome in the future because the AI companies will one day implode.

From what I've seen, most prompts are in plain English. I suppose the part where the AI parses the statement correctly is much easier than the part where it boils a couple lakes in the process of bashing its head against the wall trying millions of different combinations of random shit from the literature to slap together a proof. For one of the big results (cycle double cover), the prompt specified that the AI could use 64 subagents and was required to not give up for at least 8 hours. The tokenmaxxers would be proud, we didn't need that forest anyway. Thank god math doesn't have a CTO to look at the expense reports.

[–] lagrangeinterpolator@awful.systems 9 points 2 weeks ago* (last edited 2 weeks ago)

Among the three big results I've looked at (unit distance problem, cycle double cover, Jacobian), two were counterexamples and one of them had a short 3 page proof using ideas from the 1970s. The Jacobian conjecture is an extreme case because a single counterexample is enough (for unit distance, you technically need a family of counterexamples), and it is easy to check with very basic computations. It is telling that all of these announcements came from OpenAI or Anthropic employees, who presumably have unlimited access to their AI. Nobody really knows how many resources they spent on this, or what else they tried. Nobody really seems to care about this question, either.

I think there is a phenomenon where supposedly hard questions are much easier than expected, because by chance nobody found the right approach for a while, and eventually it becomes famous as a "hard problem" which makes nobody want to attempt it.

What I'm more worried about is many people starting to use AI to try and prove small lemmas for them in their projects. Of course, a $200/mo subscription is absolutely necessary to them. This honestly feels like a repeat of Claude Code back in February. The software engineers eventually realized that AI is absurdly expensive after the AI companies realized that spending $14000/mo to service a $200/mo subscription is a bad idea. If the AI vendors couldn't squeeze money out of rich software companies, what exactly are they gonna get out of poor mathematicians and universities? Also, there is the cognitive decline caused by overuse of LLMs that has yet to set in.

[–] lagrangeinterpolator@awful.systems 9 points 2 weeks ago (8 children)

I think a serious possibility is that AI generated papers flood the zone with uninteresting incremental results that are eventually meaningless and full of mistakes. Right now, math is full of smart, dedicated people, so at least major results are reviewed carefully. But as AI alarmism drives away many honest people from the field, the remaining mathematicians will be burdened with far more work to review, and their cognitive faculties will be eroded by LLM use. Despite 4 years of development, $3 trillion of debt, mountains of stolen data, all the agents and harnesses and loops and other expensive tricks, as well as the advantages of Lean in math research, LLMs still hallucinate.

I believe this is happening with software, but at least there are objective consequences for screwing up there (guy gets his home directory deleted, email is sent on a guy's behalf without permission, small business gets every customer subscription cancelled). But nothing bad happens if there is a mathematical mistake in a paper and nobody catches it. One could say to just provide a Lean proof, but there is still the issue of making sure the Lean code actually matches the content of the paper. Exactly what force will correct things?

Still, I don't think this is the most likely possibility. The AI companies are extremely unsustainable financially, and it's not like they're very popular. Once they collapse, I believe there will be a re-evaluation of how LLMs should be used in research. If they are used (let alone trained), someone is going to have to pay the bills.

In the end, we have to ask ourselves the question of why one does math. To me, math is not really a field where you memorize trivia. The real value comes from being able to think abstractly and rigorously from first principles, and from understanding why something is true rather than just knowing it is true. It is another aspect of your ability to reason as a free human. A few dedicated people go into math research, but your skills can easily go to many places. If you're starting undergrad, you have plenty of time to see how this all pans out before making a decision.

view more: next ›