empath75

12 ms·

121.
by empath75 4mo ago
I've been spending 3 weeks, as a non mathemetician, chasing down a particular, very simply-stated, but secretly quite complex problem, and AI has been _so incredibly helpful_, not just in making progress on it, and doing obvious stuff
122.
by empath75 4mo ago
> not even like dogs or cows Interestingly, dogs and cows meet many of ted chiang's requirements for consciousness.
123.
by empath75 4mo ago
Claude once said to me: "After six months we have made no progress on this and I think we should reconsider another option" and I was like my dude we have been at this for only 2 hours.
124.
by empath75 4mo ago
I think probably the correct spend is something closer to 10x that if people can figure agent coordination problems out. It's not even really about capability at this point, it's about keeping track of what agents are doing.
125.
by empath75 4mo ago
> Often - the people who are replaced don't recognize the inherent skills of the people who operate the machines that do their work. It's not so much the people who _operate_ the machines as the people who _build_ the machines.
126.
by empath75 4mo ago
> Won't super power AI tools allow companies to do more with the same number of people? I think this is directionally right, but I think there might be a scaling/organization problem for companies, and that the more likely outc
127.
by empath75 4mo ago
I was working with opus 4.7 on a math formalization problem for several days and 4.8 one-shotted the proof from a clean description as soon as the update came through. I was very surprised.
128.
by empath75 4mo ago
> if you can compute a derivative by 12th grade, it's due to racial discrimination benefiting you or something. -- It's not really racial discrimination per se, but there's a strong parental-educational/economic&#x2F
129.
by empath75 4mo ago
It sounds like you have some particular groups in mind.
130.
by empath75 4mo ago
If you're an investor in Anthropic you probably _don't want them_ to be profitable right now. They should be spending literally 100% of their money and then some on training and compute.
131.
by empath75 5mo ago
Short answer: No Long answer: prester john was probably inspired by a mixture of rumors of various asian churches.
132.
by empath75 5mo ago
I would think the most likely use for evtol (assuming, for the sake of argument, that whatever sci-fi technology needs to be invented will be invented to make it cost effective) is autopilot flights that are currently long commutes with a l
133.
by empath75 5mo ago
Yeah I have had claude take over multiple internal (human written) projects that were in a dire state and spent a week just completely refactoring them and adding exhaustive tests before doing any new features. It's worth starting fro
134.
by empath75 5mo ago
Even if you hire more people into jobs where AI acts a multiplier, there are still going to have to be layoffs where AI basically makes certain jobs _redundant_. I think both things are happening and will continue to happen, and happened a
135.
by empath75 5mo ago
I actually think Sora did okay, but I suspect that a lot of people were just making videos for themselves and not sharing them and that didn't match their business model and was very expensive.
136.
by empath75 5mo ago
There is a future where AI companies start hiring their own reporters, and it might be sooner rather than later.
137.
by empath75 5mo ago
I actually think there's going to be a big industry there, and right now, it's just mass-producing slop to exploit not-very-discerning publishing channels, but eventually an AI pipeline that can churn out mediocre, but extremely p
138.
by empath75 5mo ago
> the vast vast majority of statements in any axiomatic system are going to be decidable This is just flatly untrue, in the strictest possible sense, and even in the generous definition of "statements that mathematicians care about&
139.
by empath75 5mo ago
Why do you imagine this would change _anything_? There's a voluminous amount of code and documentation on how to build and run LLMs. You can build your own chatgpt literally in a weekend and run it on a home server, based on publicly
140.
by empath75 5mo ago
There's probably also some hedging going on across accounts that look like directional bets.
141.
by empath75 5mo ago
If you burned down every data center in the world, AI would still not go away. It's just a computer program. You can run it on your laptop. You can't burn down an idea.
142.
by empath75 5mo ago
I would not recommend that people "suck it up", but I think people have to come to terms with the fact that AI is a legitimate technology that is going to transform the way people live and work. That is just a fact of life, as su
143.
by empath75 5mo ago
It's a large set of problems that are both interesting and difficult, but not seen as foundational enough or important enough that they have already had sustained attention on them by mathematicians for decades or centuries, and so the
144.
by empath75 5mo ago
Important note: this was not done with a special mathematics harness or specialized workflow.
145.
by empath75 5mo ago
This is pretty wrong. There are a lot of people who _hate it_, but it is still a minority. And older people dislike it more than younger people. https://www.dataforprogress.org/blog/2026/2/27/public-opi
146.
by empath75 5mo ago
Cars and gas and human labor do not get cheaper over time the way that computer hardware does.
147.
by empath75 5mo ago
There is an entire category of software engineers who exist entirely to knock out features on microservices or do easily automatible QA work whose jobs will disappear.
148.
by empath75 5mo ago
Every time I read about colonizing another planet, I think about how we correctly don't want to colonize the bottom of the ocean or the Sahara desert because it would be completely uneconomical, and yet either would be much easier than
149.
by empath75 5mo ago
Yeah, it's obvious that this will be used to pilot drones.
150.
by empath75 5mo ago
It should not at all be surprising that running models at home is more expensive than commodity providers. That's just generally true of running your own stuff. Even if the cost in money isn't higher, the cost in time is often _

More ›