matteoraso

6 ms·

1.
by matteoraso 7d ago
I don't have access to the exact agent OpenAI used, and I certainly don't have access to the enormous amount of tokens that were used. That being said, I doubt there was some advanced prompting technique going on here. We've
2.
by matteoraso 7d ago
This is copium. Humans worked on it, but they didn't come close to actually solving it. Even if you do the whole "the AI looked at material in its training data" thing, modern AI can make their own math data to train on with
3.
by matteoraso 8d ago
Jokes aside, that's a horrible test for AGI. I like to think that I'm sentient, and I could never solve a millenium problem.
4.
by matteoraso 9d ago
This is undeniably epochal, but I can't help but notice that this is yet another example of AI disproving rather than proving something. Is this just a coincidence, or does AI slightly struggle with proving theorems?[0] [0] Struggle re
5.
by matteoraso 10d ago
I predict the opposite. With AI, labour costs will go down, creating an abundance of goods. Unemployment may be an issue, but the workforce is already declining because of the fertility crisis, so I think we'll manage having a certain
6.
by matteoraso 14d ago
Easy to say when you never had to live that life.
7.
Limiting Overshoot – Navigating exceedance of 1.5°C and pathways towards return(unep.org)
3 points by matteoraso 14d ago|0 comments
8.
by matteoraso 15d ago
>We never stop learning, we don't have a "training phase". We kind of do, if you count critical periods in childhood.
9.
by matteoraso 18d ago
But the EU was never meant to be a loose forum of nations. From the very beginning, the Single European Act made it clear that the intention was to integrate the member states into a single union, "speaking ever increasingly with one
10.
by matteoraso 20d ago
>The concern is that autism as a rigorous category may be useless, but that doesn't mean that autistic people are suddenly neurotypical IDK. I'm diagnosed as autistic, but I've become a bit less attached to that label in r
11.
by matteoraso 23d ago
This is true, and an understated consequence of homelessness. My city is working on deploying portapotties for the homeless for this reason.
12.
by matteoraso 24d ago
It's also overseen by the Minister of State at the Department of Health and Social Care. Also, how on Earth do you think insurance companies don't consult doctors on insurance denials?
13.
by matteoraso 24d ago
Something that gets ignored is that we're already facing a serious decline in the workforce as a result of the fertility crisis. If we can automate some jobs at the same time as people leave the workforce en masse, we can avoid a catas
14.
by matteoraso 24d ago
>I think a lot of people would be very content if they never got smarter, and just kept getting even cheaper/faster. There's a lot of truth to this. I think we're starting to approach the point where increased intelligence
15.
by matteoraso 27d ago
The world economy is based on the idea that America will always repay its debt. Them not paying it back will be the financial equivilent of a nuclear bomb, not just for them, but for literally everybody.
16.
by matteoraso 27d ago
The uncomfortable reality is that fixing this will require tax hikes AND spending cuts. Not just taxes on people you don't like and spending cuts on niche programs, real changes like a VAT and slashing the VA.
17.
by matteoraso 28d ago
Often the case with big pharma. I for one will never join in on the populist backlash against those that make livesaving pharmaceuticals for us.
18.
by matteoraso 28d ago
Huh? How would chemo "block his liver"? Do you mean that he had a liver metastasis that the chemo didn't help with?
19.
by matteoraso 29d ago
Huh? NICE sets a cost-effectiveness threshold of about £20,000-30,000 per QALY gained from a drug[0]. There was even a controversy where a drug for pancreatic cancer was denied funding for this very reason[1]. [0] https://web.arch
20.
by matteoraso 29d ago
>With Universal Healthcare the government just provides the funding. And what makes you think that they fund everything? I support universal healthcare as well (I'm literally Canadian), but I can accept that there are tradeoffs asso
21.
by matteoraso 1mo ago
The problem is that LLMs improve so fast, your article may very well be out of date by now.
22.
by matteoraso 1mo ago
RAM consumption has gotten crazy over the past couple of years. Consumers need to start calling software devs out for this, especially when there's such a severe shortage of RAM.
23.
by matteoraso 1mo ago
I don't see what this offers that Git doesn't. Even if Git only tracks lines, that's still a good proxy of how many words you wrote. Besides, you can use git diff to see whether an individual character was changed, even if th
24.
by matteoraso 1mo ago
You're judging a singular product and then assuming that this is all the foundation does. If you want to know why they have so many employees, you have to look at the scale of the entire foundation, not just one of their websites.
25.
by matteoraso 1mo ago
So you're judging the entirety of the Wikimedia Foundation based on the UI of one of their websites? This is an insane way to measure an organization.
26.
by matteoraso 2mo ago
You're unfamiliar with the scale of Wikimedia. Besides Wikipedia, they also host multiple other projects, like Wikidata and Wikimedia Commons. Besides that, a huge portion of their budget goes towards grants to organizations that help
27.
by matteoraso 2mo ago
It's simple economics. Building a robot to do your chores is expensive and only a small minority of people value their time enough to buy one. Meanwhile, SWEs are expensive and GPUs are (comparatively) cheap.
28.
by matteoraso 2mo ago
People have had to deal with getting their jobs automated away for centuries. None of this is new, and perhaps reminding ourselves of this is the best way to cope.
29.
by matteoraso 2mo ago
>A pharmacy chain in Vermont implemented AI for efficiency. It’s led to delays, incorrect information and privacy concerns. You should post the entire title.
30.
by matteoraso 2mo ago
>Have LLMs produced something novel like Cantor's diagonalization procedure once was? A year ago, the goal post was that LLMs wouldn't prove anything of worth. The year before that, it was that LLMs wouldn't be able to do

More ›