Round brackets are standard in the US but that notation is used in France and some other places.

I think there is still an implicit restriction on the complexity of the operator for this to be interesting. Otherwise you could design an operator which accepts a pair x,y and performs one of 2^k elementary binary operations by reading off the first k bits of x and applying the specified operation on the remainder of x and y. (This is kind of like how real-valued computational models become too powerful for complexity theory to work if you allow bitwise operations.)

Exactly! If you didn't strictly limit the operator's complexity, you could just smuggle a Turing machine in via bitwise logic and turn the whole thing into a parlor trick. The beauty here is that eml(x,y) is a pure, continuous analytical function with no hidden branching whatsoever.

To clarify my earlier point: the author isn't trying to build a practical calculator or generate human-readable algebra. Using exp and ln isn't a cheat code because the goal is purely topological. The paper just proves that this massive, diverse family of continuous math can be mapped perfectly onto a uniform binary tree, without secretly burying a state machine inside the operator.

Well, the paper explicitly takes the principal branch to solve this.

So it isn't exploiting the branching for computation.

I agree, as the sibling comment there are two different things that are named "branches". Anyway, to get the principal branch in the microprocessor it's necessary to implement "atan2" that has a lot of special cases.

For example, IIRC ln( -inf.0 + y * i ) = ´+inf.0 + pi * sign(y)

Different sense of “branching”

Yep.

There are certainly no other causal factors...

I'm not saying that it couldn't be true, but we have no way of concluding that from just comparing such rates. There are many differences in daily life and thresholds for reporting beyond surveillance levels.

What? Why is that a false choice? The only way you got caught here is if you literally gave an LLM the PDF and used its response verbatim.

And they didn't give a permanent ban or anything, these authors can just resubmit to another conference, of which there are many.

Imagine you are poor and a rich person offers you a choice to steal some bread or some beer. It’s not a real choice because you are poor and therefore steal. The rich person offering the choice is wrong.

The choice was to review using AI or not, they can just say no? And review like we’ve done for years without AI tools.

Are you objecting to ICML’s reciprocal reviewing policy?

The alternative as I see it would be to charge for submissions and pay reviewers. There are pros but also clear cons when it comes to fairness.

Banned for life is a stretch but the actual response is completely fine. They can just resubmit to the next conference.

Words mean something, if you promise to uphold a contract and break it, there are consequences. The reviewers were free to select the policy which allows LLM use.

Loads of researchers have only used LaTeX via Overleaf and even more primarily edit LaTeX using Overleaf, for better or worse. It really simplifies collaborative editing and the version history is good enough (not git level, but most people weren't using full git functionality). I just find that there are not that many features I need when paper writing - the main bottlenecks are coming up with the content and collaborating, with Overleaf simplifying the latter. It also removes a class of bugs where different collaborators had slightly different TeX setups.

I think I would only switch from Overleaf if I was writing a textbook or something similarly involved.

Our democracy is clearly disfunctional. I believe corporate money has played a big role to make it worse.

Thanks, it would be fascinating to repeat that today, a lot has changed since 2022 especially with respect to consistency of longer term outcomes.

They did shut down the Internet. I cannot communicate with some Iranian friends right now.

I see. You seem quite sure that Iran is not doing this - do you have some local source of information? My friends there said the government does shut down the internet at times (but I am not currently in communication with them...)

The people claiming Iran shut down the internet are the same people lying about the protests, even going so far as to post pro-government protests and mislabel them as anti-government protests. Israel is prepping to attack Iran and the fake “protests” are one of the first steps. We’re being lied to with impunity.

You think many are built without any assistance for coding? My impression was that people were mostly concerned about game assets like graphics and music

I think many are built without the use of gen ai to create assets. Obviously, the term "AI" is flexible enough that you could clarify every piece of software as involving AI if you wanted to, but I don't think that's productive.

I would assume that if a tool is there and the alternative too costly that they would use the tool instead of buring their project. Just today I stumbled over this for example, where they use GenAI as well: https://reddit.com/comments/1prqfsu

Do you have proof that many are using AI for coding?

Not for coding, but today I stumbled upon these two building their passion project using GenAI, which would otherwise perhaps not be possible: https://reddit.com/comments/1prqfsu