With latest AI models, we will most likely see shift back to just fully Native apps even for smaller teams.
This is type of stuff that AI models do really well, if you get a particular feature or even a bigger app change done in one platform, you can just tell Opus or Fable to replicate to the other platforms and in almost all cases it will just do it as well as most human teams would have done it.
Well, if in future we do end up with a magical tool that can solve any formal mathematical problem on a whim, we really won’t need field of mathematics anymore as it is today.
There would be no need to deliver new mathematical insights by solving problems. You would just have a magical math problem solving machine and that’s it.
What do you mean “we won’t need mathematics as it is today”?
To further human understanding is itself a goal that single-handedly justifies our efforts.
Jumping straight to the “answer” and therefore missing both the understanding of the actual problem, and any useful discoveries along the way is a waste at best, and actively harmful at worst.
I'm not the one you replied to, but I think I get their point. If you have a machine that can solve math problems at the push of a button, you don't really need to amass discoveries anymore just in case someone might need it years down the line.
Someone in the thread mentioned Minkowski’s math work being instrumental to Einstein’s physics. If Einstein had had a math machine that can spit out the result at will, he wouldn't have needed Minkowski.
Nevertheless, I also see the opposing point: if Minkowski hadn't already published his results, it's possible Einstein would not have even had the inspiration to derive general relativity from it. I think this is the human aspect most critics are worried about.
Physics alone is more than enough to “further human understanding”. All current mathematicians can move to other sciences, closest being fields in physics, and it will all continue to progress just fine.
Clearly The goal was to scoop Anthropic not a single researcher. OpenAI heard the rumor that Anthropic solved an open problem. So they went nuts pulling all plugs to scoop them.
Turns out it wasn’t actually Anthropic and just a researcher with a single Anthropic guy friend working on it .
While AI companies have almost infinite money, they still don’t want to blow million dollar budgets on problems if there isn’t high likelihood that it will be successful.
But within next 10 years as costs drop significantly and even more improvements are made, yes it is very likely that almost every single existing math problem will get a serious AI cracking done on it
You are glossing over the fact that there is reasonable suspicion that OpenAI used privileged information to do “the scoop”. I.e. they used the fact that researcher used OpenAI tools to get advantage .
Imagine if OpenAI opened up a high frequency trading arm and suddenly stole all the prompts and research that other HfT firms are doing through OpenAI tools and start making bank based on that . Wouldn’t that be straight up insane?
This Tristan guy's statement reads like something a normal, reasonable human being would write.
Reading Sam Altman's and Sebastien's tweets reads like something written by people who know they did dirty shit and are willing to cross any lines to "win".
https://x.com/sama/status/2097385167002415140
OpenAI's leadership just can't help to continue to disappoint everyone with their lack of ethics or integrity.
It is so disappointing that we can't have such a monumental moment in history without the controversy. OpenAI leadership clearly doesn't seem to care too much about ethics. Is it a requirement to completely lack integrity to have a ground breaking company?
The reality is clear though. The chances of AI models overtaking majority of mathematics within next 10 years is becoming very high. Especially if it becomes cheaper to run these models.
As math formalizations improve, AI can have faster progress in math, compared to even computer science or software engineering.
It is simultaneously the best and the worst time to be a mathematician right now.
The issue for Americans is that living a pretty "normal" lifestyle is way more expensive compared to living very similar "normal" lifestyle in most other developed cities.
Easiest example would be groceries. If you live in a crazy expensive place like Manhattan, you could easily spend 4-5x more on groceries compared to a city like Warsaw. But it's not like you are getting better produce or products in Manhattan, you are getting same stuff, just paying way more.
And this is true for other day to day stuff too like Housing, Healthcare, Schools, etc.
Of course people in US are very wealthy if you are looking at dollar amounts. It would be impossible for cost of living to be this high, without a lot of people having decent amount of wealth.
But people's perception of their own wealth depends way more on relative value of their wealth compared to cost of living. If you live in a city where some shitty 2 bedroom apartments cost 1m$+, you aren't going to feel all that rich even if you have 10 million dollar net worth.
$10M at 10% returns is $1M/yr passive. That'll pay for an expensive apartment before you consider working.
In fact, that's sort of the problem: the massive "rich people get paid for being rich in proportion to how rich they are" cash flows run away exponentially from the "poor people get paid for working" cash flows, inflating the price of any inelastic good beyond their reach. The economy stops being about work and starts being about wealth. Which might be fine if most people were wealthy enough to not work, but that's overwhelmingly not the case so it's overwhelmingly not fine.
No sane person would "feel wealthy" if they are living in a shitty 2 bedroom apartment, even if the place costs 1m$. In places where shitty apartments cost that much, a place that would be considered "luxurious" can easily cost 5m$ or more.
Of course rational thing to do would be to take the money and move to a less expensive city, but with the same logic, anyone who has 1m net-worth could liquidate their assets, move to a different country, retire and live a proper wealthy lifestyle.
But we don't see that happening all that much at all. Mostly what happens is that people are choosing to live middle class lifestyles in most expensive areas that they can afford.
I agree with your point, just not with your numbers.
Even your new numbers: $10M NW, half of it goes to luxury housing, the rest gives you $500k/yr of passive income and that's pretty damn nice by any standard that doesn't involve employing others. I get that this is HN where many of us aspire to such things, but surely that's beyond the point where one should feel wealthy?
The mean and the median wealth differences is the most striking. USA is second on mean wealth and 27th in median (just ahead of Greece). A few trillionaires pulling it up with nothing trickling back down.
Still wealthy either way but I always find it a bit jarring how skewed the US self perception is since people generally experience something closer to the median.
I have tried multiple times to switch from Cursor to VSCode + command line tools or VSCode plugin for Claude, but it just doesn't work as well as Cursor itself.
Especially if you are doing "remote" development through SSH. If you are doing stuff where you still have to write some parts of the code manually or you have to fix few things here and there that the AI outputs, you still need a real editor.
reply