Frontier AI is far beyond "hype-laden PR". You're right that there's a long way to go in release terms before fusion plants, but at the current tempo that 'long way' looks near in human terms. Whatever age you are, would you bet against it arriving in our lifetimes?
I think you have misunderstood the OP's point here. You're arguing that deepening human understanding is an end in itself, and you are right. The OP is arguing that advances don't need to be pegged to human understanding, and they are right too. The two can coexist, superintelligence far ahead of us, pioneering discoveries - and mathematicians catching up at a pace suited to biological minds. I don't see the issue here. Of course, it does mean mathematicians adopt a new role as hobbyists.
> A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations. There's also some rather ugly solipsism in the idea of keeping what interests the field as a limit. Mathematics has broader relevance to humanity than merely to please and support mathematicians, and if other fields can make practical use of profound well-proven future math, mathematicians will have a hard time making a case that their comprehension must come first.
> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.
I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.
The trouble for its global partners, especially in the Western Alliance, is that even if the attitude in the White House does change in 2029, no-one will ever be able to trust a repeat isn't 4 years away. US dominance has depended on its reliability as a partner - and that's gone.
Telling that you would use the verb 'take' rather than 'offer'. But these days, it seems the USA has trouble 'taking' anything besides Venezuelan moustaches.
As far as an offer goes, polls find that almost third of the UK now regards the USA as a threat rather than an ally.
Full membership isn't Association Membership. The article you reference mentions that the EU condemned Morocco for human rights abuses in 2023. So perhaps Morocco should clean that up before feeling anything about this.
I've noticed this too, though I'd go further. Occasionally it's just a querulous teenage know-all, but more often lately it's been a full-on chopsy jumped-up twat. Not always - I find it more reliable than the article's author - but enough to leave a particular stink. I hope it grows out of it.
Naivete and scorn of autism in one short sentence - you're very efficient.
Yandex.com is the international front end to yandex, and not a portal for 'a handful of western autists'.
But on Russia's granular propaganda and disinformation efforts, you ought to read Peter Pomerantsev's excellent "This is Not Propaganda" before making silly sweeping statements.
Declining to follow a blunderer into a blundered war really isn't a "decision to live with high oil prices" rather common-sense. This is the USA's mess.
This sounds like all engineering, rather than just AI. The greatest effort given to the last small difficult details, often for results that seem trifling but which matter at scale.
But it's a poor argument. The code improvements with these things is hardly marginal - Opus 4 was only 16 months ago. How many of the grumblers would want to ditch their modern stalwarts and return to it? What is marginal is the nitpicking - and like anything in tighter bounds, it's more intense with a narrower scope.
These threads always have many dissatisfied voices with repeating complaints - about overwrought thinking and disappointing output - alongside others who are amazed at the sudden real extra capabilities. Both are true at once - capabilities are rapidly increasing, but nowhere near ideal, which is why this attempt to tag it as Neijuan, though interesting, is ultimately a load of bollocks.
Little late here but it matters if they're ascribing it to the technology vs its application to people - squeezing more out of people for relatively little gain hence modern burnout. I believe they were describing the latter.
reply