Nikon gets to gatekeep their competition however they like. Personally I think it would be a shame to reward photographers for the work they do outside taking the shot and light editing/compositing. What's the point of a competition if you're not going to enforce high standards and challenging constraints?

From top to bottom, I still think nobody developing these things really cares about security.

I am very skeptical slop detectors will ever work.

> I am currently being funded by the EPSRC to formalize a proof of Fermat’s Last Theorem, and a naive reaction to the news above is that I no longer have any work to do. This is not the case. The work certainly achieves some of the aims of the EPSRC project, and indeed it goes much further in terms of what is formalized (I only promised the EPSRC that I would reduce FLT to the 1980s; this repo proves the whole thing). But I also promised several other things to EPSRC: firstly, that I would be making pull requests to Lean’s mathematics library, adding fundamental objects from modern number theory; this is ongoing. And secondly, and perhaps most importantly, that I would be creating a dynamic document enabling humans to explore the modern proof. My guess is that it is unlikely that Anthropic are going to do this; they will feel that their job is done with the formalization (and they did not formalize the modern proof anyway).

> Note that mathematically this work of anthropic tells us essentially nothing: I am on record as saying that I am 99.9% sure that the proof of FLT is OK, and most people in the number theory community are 100% sure (formalization has made me more paranoid about the mathematical literature than most). From my understanding of the argument, the formalization just faithfully follows the early literature on the proof and adds nothing.

https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...

This is bad because it's only getting harder to trust people. This is not someone I would want representing me. Although I'm not thrilled about any of my representatives anyway.

The idea is to give users control over their identity, network, and feeds instead of big social platforms like facebook or twitter that choose what content you see and lock you into their closed network.