Anecdata: Bannon and Sanders speaking at the same event against data centers. Nonviolent, even. Illiberal? Maybe
Now I hear rumors of breaking "the" political firewall (ie, gap in horseshoe?) in France and Germany. Of reviving DDR style parties in East Germany that can work with AfD. Incoming data ..
These days, Varoufakis talks about "radical centrists".
(It's possisble he doesn't actually have a sense of humour and what we're seeing is pure schadenfreude over, eg, the unsurprising stuff that's happening to the centre-left in Sweden right now. Which happened to Starmer, and has yet to happen to Burnham
But this is maybe only "empirical"--- your wiki link mentions the vulnerability of centrism to elite takeover, and subsequent alienation from the masses. Nod to your "betters")
I don't think this word has meaning anymore in modern Western politics. We have institutionalists.They aren't that different from the animating essence of Trump 1.0–they want to go back to some good old days. Even though the world has since changed. And the old days weren't that good, they're the reason we're where we are now.
And we have various folks pitching reform. The idiots on the far left and the right agree on the broad structure of reform, namely, nothing thoughtful except getting rid of the other guys. But they aren't the only ones pitching reform.
Sure. All instances of "centrist" in the #Modern portion of that wiki could be replaced by "institutionalist".. but it would call for a careful analysis of how institutionalism dominates reform (internally, with respect to general electoral processes)
Institutional reforms seem to go through better if done proactively. Eg, Sweden, 1990s, preempted China shock. What gave? Had the right people been voted in (at various levels)? Was there a culture of running parallel optimisations (org-Darwinist take) of status quo ante?
You might be able to apply those to how Swiss institutional-reforms (if any) preempted China shock
(or, now, how they are handling vs just avoidinh "migrant shock", orthogonally to the "resilient" demographic, popular framings, etc)
Sweden has bloc politics, i.e. no single party has the majority to govern.
The red-green bloc (left, center and greens) won a majority but the center party is playing kingmaker and refusing to let the left party into government. The left party has said from well before the election that they, reasonably, will not vote to support a government which they are not part of.
This has been due to decades of bourgeois / social democrat rat-fucking on policies, most notably disability / sick insurance reforms, after they got the left party's support votes. [1]
There is speculation that the center party would instead support the prior right wing government instead (voting with the extreme-right) - as long as the extreme right stays out of government, despite the extreme right getting all of their policies pushed through anyway. Even going so far as to withhold key votes in parliament until their immigration reforms (removing permanent residency and restricting citizenship, in this case) got passed. [2]
The short of it is that "centrist" parties are just right wing parties in disguise, in that they NEVER support leftist reforms but will happily support the right when it suits upper class economic interests.
Democracy being what it is, can be messy and nobody goes home happy. But the left of the left bloc saw the largest electoral gains in this election, so a move to the left is arguably what a growing portion of the electorate wanted. It was still a very close election, so you could frame it in many ways, but that the green-reds did see the biggest gains is fact.
You make it sound like the center party is playing both sides but as I understand it is not part of that block, and they would be OK with social democrats but not far left in government. What's wrong with that?
Well, they have said they would support the social democrat party leader as prime minister, prior to the election - as did the left and green parties and are (sort of) participating with those parties in negotiating the formation of a new government. And none have the mandates to form a government without each other. So I would say they are in fact part of the same "bloc", in some sense.
However, the left has stated that they rather reasonably won't support a government that they are not part of. The center party on the other hand has said they won't support any government that the left party is in and seem to be open to forming a government (at least not denying when being asked directly) with the right wing parties of the former government, despite that bloc losing the election.
When one party's "red lines" only seem to soften when facing the right, I think that does say something about their true intentions.
Aha ok I was wondering when I asked if you meant the internal politics or either social democrats or greens - what I think of as the two center left parties - had been going through an activist far left internal struggle (as is happening to the very separate Green Party in the UK right now).
Wow, they have a laser with a shutter! The Litiholo kit just gives you a basic laser diode, and they don't tell you that you have to let the laser warm up before exposing the hologram. I made so many smeared/blurry holograms before I figured out you have to block the laser, turn it on and warm up, then unblock the laser.
is this just a total guess? the repository says it's forked from KhiCAS, which is a ti84 port of Giac/Xcas, which can do full Risch integration if necessary
I think the role of specific _human_ mathematicians at OpenAI should not be understated.
TFA was about a niche topic that OpenAI doesn't have in-house expertise in.
Otoh Aaronson is the co-author on Lijie Chen's (reasoning lead at OAI) top cited paper. OAI have deployed their resources more effectively against UGC that some of their staff are already familiar with
That's true. OpenAI has some of the best talents. In my experience, domain experts get the most benefits from the models. They can work much faster, catch false positives, and stir the model in right direction.
I wish they take a bit of more time to communicate the findings effectively.
There are good reasons not to delay publishing at all:
> They should release all their results immediately. (Imagine working on one of the problems they already solved.)
This is the most popular answer to a question regarding AI advisory group and immediate access on a popular website for professional mathematicians: https://mathoverflow.net/a/515442/473286
The whole debate regarding the behaviour of OpenAI is a red herring. Mathematics need to redefine their profession and how they work (like us software developers too). There are very good reasons to believe mathematics has an important role to play. If they could just stop talking about OpenAI and get back to work - they are very much needed, in particular now!
> If they could just stop talking about OpenAI and get back to work - they are very much needed, in particular now
This kind of phrasing sounds particularly empty. We are not in WWII researching the nuclear bomb. What are they so urgently needed for to drop everything and work on understanding openai's proof on partition principle and axiom of choice?
Where did I say they should "drop everything"? I hope to read more about how they envision their future, instead of all this regretting and whaling how one company (that I very much dislike too) published a large amount of proofs. They will get more of them, very soon - if they like it or not -, and I wish that would be the primary subject of the discussion. And yes, I'd also hope they engage with the published proofs. The more raw these proofs are, the better. If AI companies start selecting mathematicians to write nice expositions of their proofs, this is doomed to become a very elitist science.
Says who? The professional mathematician writing the article disagreed. Why should people start dancing the tune that openai wants to play for their own reasons and interests? And I do not see how taking the time and effort to write a proper exposition makes it "a very elitist science" when this exact effort and time is needed to actually get other experts understand and build on a result. Unless you equate spending time and effort learning math as "elitism", which is the ai-shilling moto some time now with everything time and effort related. I cannot see how spending time and effort to understand a field and then spend time and effort to make a proper exposition so that other people can also understand it as "elitist" vs throw everything out there "in raw form".
This was my opinion. But anyone arguing to publish "results immediately" is likely to imply something like it. I guess in chemistry we have the situation you envision - for different reasons: Laboratories holding back their data, until their scientists have published their papers or developed their products. There is a real danger AI companies will do something similar too.
Who do you expect they will select for the exposition?
On which basis do you want a (likely US based) AI company to decide who is to untangle a proof that their latest internal model has just spit out?
Do you expect this to fall to an aspiring, but still unknown mathematician at - say - the mathematics department of Nairobi university?! This is what I meant with my rather unclear "elite" reference: The first publication will always show the name of a mathematician already known to the field, more likely than not to come from the same country as the company ("Our message ... is, you’re a great American company, but you’ve got to hire great American workers"). Are you not worried at all? Don't you think it would be good, if anyone in mathematics had a chance to write that first paper on a new proof?
There are parts of mathematics where the result is the important part. That's not what we're seeing here. Knowing whether the partition principle implies the axiom of choice doesn't meaningfully shape downstream knowledge and decisions. For these more foundational problems, clever proof techniques and the exposition around them are literally the point. Without that, neither humans nor AI can take this slop and derive anything useful.
And if AI can do that then great. I don't care about being elitist or not, and I'm fine with AI taking over math. That's not what it's done though, at least not yet.
> Mathematics need to redefine their profession and how they work (like us software developers too). There are very good reasons to believe mathematics has an important role to play. If they could just stop talking about OpenAI and get back to work - they are very much needed, in particular now!
The root issue is OpenAI et al.'s thoughtlessness in their engagement with a field.
OpenAI has resources.
That they fail to allocate enough of those to cleaning up pre-print papers (that seem to be a corporate PR priority for them to release) so they can be consumed and engaged with by the field they're targeting is... acting like a jackass?
It's the same "Meta / Alphabet can't vs won't hire more human reviewers" problem.
OpenAI could, at an immaterial salary level to them, pay a ton of PhD students and mathematicians just to clean up their proofs and papers.
Not doing so is a leadership and financial choice.
I'd prefer AI companies don't decide who's "cleaning up pre-print papers". This should remain the job of mathematicians at universities, which I am happy to pay with my taxes. Ideally there was something like a Bermuda Principles declaration for mathematics (https://en.wikipedia.org/wiki/Bermuda_Principles). This gave mathematicians even at poor universities and beyond the chance to participate in mathematical progress.
What do you think is gained, if AI companies manage "cleaning up"? Tax money?
No one is "responsible". If the paper is read, depends on the interest of the individual scientist. Many mathematicians interested in a theorem proven/disproven in a new AI paper will be curious, even if it is utterly cumbersome to extract the relevant line of thought. But don't you agree that the job can only be done by a mathematician anyway - be she/he paid by the company or by a university?!
What you are arguing for is somewhat like the "proprietary period" in astronomy (e.g. see https://www.scientificamerican.com/article/nasas-plan-to-mak... ). But there is no mathematician who asked for the run of AI, i.e. there is no mathematician, who can be regarded as the owner of the result, even if ownership was temporary. Complex proofs might take years to explain in detail (think of the ternary Goldbach problem, https://en.wikipedia.org/wiki/Goldbach%27s_weak_conjecture ). It's just unfair, if AI companies held back with their data until a proof has been put into a nicely readable article, and at the same time mathematicians elsewhere are spending all their time trying to solve it.
I'm not. To the extent my taxes are used for maths research (which is minute as a proportion of them) I want them to be used for the development of human mathematical understanding, culture and education, not trawling through a mountain of slop mechanically generated by a Silicon Valley startup that's about to IPO for trillions in the hope there might be some nuggets of insight hiding in there. If the latter is an activity with some value the startup in question can pay for it.
Stupid, but could be fun: grants are given for how amusing your proposed prompts are.
Everyone should have a portfolio of prompts that are indecipherable by other humans but when fed to a frontier model, produces shocking one paragraph english version of a 10000 line lean proof
Now I hear rumors of breaking "the" political firewall (ie, gap in horseshoe?) in France and Germany. Of reviving DDR style parties in East Germany that can work with AfD. Incoming data ..
reply