If cookie consent dialogs have been going on for as long as they have, can they really be called malicious compliance at this point? Seems like people believe that is the actual intent of the regulation at this point.
I personally see fewer and fewer of those original dialogs that had you deny 20-30 items one by one. Most of the pages I land on have the deny all button or have given up on pretending they care.
The models produce both Lean code for formal verification and a traditional-style narrative proof. Like the general long-form output of frontier models, the math papers produced appear to be generally correct technically, but written in an ungraceful and sometimes hard-to-follow style, so they are often polished by a human mathematician as of today.
Why would society fund mathematicians if they decided to become a guild that hides secrets? They could pursue that as a hobby, but they’d end up like the coders who refuse to use LLMs - rapidly becoming irrelevant and a bit sad from an outsider’s perspective.
Ah but heres the thing , society/gov expects mathematicians to be productive and tries to measure that by awards/publications/citations gained. Within a guild ope or secret they could possibly use a local LLM (even if slow) to accelerate their collective output.While ensuring their credit/publication/citations remain intact rather than with the AI labs taking a lions share of that.
Think along the lines of the Nicolas Bourbaki persona/collective :
" was a collective pseudonym chosen in 1934 by a group of young French mathematicians. None of them carried the name alone; all of them carried it together. And under that name, they launched the most ambitious mathematical publishing project of the twentieth century: a series of texts rebuilding modern mathematics from scratch, on entirely axiomatic foundations."[1]
I can have Astra run a large-scale infrastructure migration 24/7 (much of the time waiting for results), completing it in weeks or even months faster than I could before agentic AI.
Yeah, I mean if that's the case, then said small sites are probably headed for extinction, and agents won't have anything to work with other than whatever the top Google result is anyway.
reply