I'm not a very good mathematician, but I do know a fair bit about software engineering, and with AI I've been busier than ever. I probably wouldn't be so busy if AI was better at anticipating what I actually wanted rather than making guesses no human would ever make.
This is just a short term problem though. Eventually AI will get pretty good at figuring out exactly I want and it will build that from the start. The requirement of me reviewing the AI output only lasts as long as models stay bad at anticipating my needs, which I don't think will take too much longer.
If you mean reviewing for correctness then no, a Lean proof is a much stronger guarantee than anything that can be provided by any human.
For someone who's goal in math was taking unsolved problems and working on them then it's probably over. Just like in software engineering writing code by hand is kinda over.
I love how much inside information Xiaomi are giving us on the every day challenges faced by AI labs. Before the release of MiMo 2.6 it was the RL dashboard, now this update.
Had to chuckle at this when outside the US the problem with EVs is that there are so many options people find it tough to choose.
Denza or Zeekr or Genesis or Tesla? Xpeng or Leapmotor or Geely or Kia or Hyundai or Mazda? BYD or MG or GWM or Chery or Jaecoo?
Plus the various Porsche, Audi and VW electric options, Subaru and Toyota, even the new Range Rover. There are far more electric options than petrol, and a lot of them are significantly better at the same or lower price point.
You're right, I should have said "in the US". But it is the second biggest car market in the world, so it's not like we're irrelevant in the discussion.
Don't be evil -> What does "evil" really mean, anyway? -> Judgements about good and evil don't belong in business -> Evil is pretty profitable, actually
Are the Artificial Analysis benchmarks really worthwhile any more?
They really don't seem to match my real-world experience, and based on the comments I see I don't think that match most other people's either.
For example, Opus 5 was at the top for some time. My experience is that it's not noticeably better than Opus 4.8, and it definitely seems worse than Fable 5, which AA benchmarks put behind Opus 5.
GPT 5.6-sol and Opus 5 seem pretty interchangeable, although Sol is noticeably better at finding problems in code, particularly edge cases.
You guys are so daft about it. The fact that you do not see what work goes to keep company running and be responsible for thousands of people still having their jobs…
Some work is 24/7 basically, when you have to keep business afloat there are no sick days or worse days. Your brain is 24/7 preoccupied with the work.
Meanwhile you walk out after 8 hours and stop caring at all because - someone else does
Someone else grinds to provide you with employment so there is work at all and the company keeps sailing.
I am sure you guys are smart, adults. stop being so childish and immature. You are better than that
(Corroboration, not deduction: "has four legs, so it is more probably a cat". That is vs falsification: "short, hence not all managers are tall". Which does not work anyway going from the logical context to the stochastic context, because it becomes "the exception that confirms the rule". I trust you knew, but.)
As I always say, CEOs are corporate status symbols. "Look how successful we are, our CEO is super-handsome, went to William and Mary, and we pay him $15 million a year"
> One of the miners, rejected on account of his size, offered to fight any man there as proof of his suitability as a soldier, and six men were eventually called upon to remove him.
Depends on the board. The premium CEO robot will be powered by a bio-ethanol fuel cell so that it can play golf with the board of directors for as long as drinks are available.
That’s how leaders throughout history have worked. Usually you prove your mettle in the first half of your career and then do the hard work of being the face of the company once you’re an executive. Diminishing what a leader does is the foremost underling cliché throughout all of history.
You're hearing the echo and ascribing it to the noise.
A constant push and pull between leaders and the led is the fundamental. Criticism in both directions is necessary and healthy, and at different times both correct and misplaced.
There have been great leaders and awful ones. Acting as if all leaders are proven and deserving is as asinine as naming all CEOs as useless.
Right now we are at a point where CEOs are biased towards being quite anti worker and too easily rewarded. It's not surprising the cliches against them come out.
I would argue the bias is for ceos (of public companies) to act a certain way due to inherent incentives the way the world is set up, which biases their personality. But I won't go into that old argument again.
Last 5-6 years: COVID surge in HN brings in more people
Last 3-4 years: General rise in AI topics which have broad appeal and brought in a lot of people
Last 2-3 years: More overtly political discourse on HN bringing in more people
Last 1-2 years: Bots start coming in, some are very obvious, but they have gotten better and better to the point its hard to tell anymore.
Last year: Sharp rise in shallow redditor-style comments, especially in cultural/political discussions comments that are snarky but contribute little to discussion outside of affirmations like "Laws are for poor people"
I don't know. Every big tech company I worked at has a lot of turnover. Then every Blind post says "its so over" or "everything is going to change" But that doesn't happen.
A year ago everybody in San Francisco was saying the entire world was about to be blindsided by the fundamental changes that would happen in the next 8-12 months and, well, that just hasn't happened.
The short version I give to non-technical people who ask me about whether "AI will replace coding" is this: it accelerates you. You can get much further much more quickly.
If you don't know where you're going or how to get there, or even if you're just not paying enough attention, it will get you very far in the wrong direction before you've realised.
(Yes, I know they're technically Dubai based now)
reply