There are different classes of mathematical problems.
The one in the post definitely shows the advantages that LLMs have compared to humans for some problems but it's in an entirely different class than the Riemann Hypothesis.
Riemann is one of the most studied math problems of all times and all of humanity has basically collectively failed to make progress. The idea that there's some technique that just hasn't been tried yet (like in the post) is very very unlikely.
The general consensus is that we'll need an entirely new branch of mathematics to solve Riemann - our current tools aren't just inadequate; they're of the wrong class entirely.
I suspect inventing new branches of math will remain beyond LLMs for the remainder of my life.
Sure but say some company based in Lousiana has a website that violates NYC law.
What exactly will NYC do about it? Is there some mechanism to for them to block the website inside of NYC? The company would presumably have no property they could seize or employees they could imprison.
If it were a state passing the law then they could sue for enforcement in federal court but I don't think a city could?
Is this something that cities can really enforce? Like I get that NYC is a bit of an exception but let's say a 5 person town in Wyoming decides that they want to make this practice illegal and they all vote to do so. It's not clear to me that would mean anything at all.
I mean if there's something I'd bet against being solved by LLMs in my lifetime it's that one. We truly do not have line of sight into what a proof would even look like.
Reddit did the same. Tumblr died when it banned porn. There seems to be a very perverse incentive for social media platforms to be as permissive as possible.
Personally, I'd be in favor of banning all sexual content on X, but it really feels like a legislative solution applying to all social media platforms might be the best solution.
And yes I realize the slippery slope that could put us on.
Man I don't know if I'm living in a crazy bubble or something but GPT 5.5 is lightyears better than Opus 4.8 for me to the point where I'm honestly wondering how you're evaluating them or what kind of work you're doing.
There's specific tasks that Opus does better on like Frontend Dev and Design but for anything else 5.5 just laps it.
Using Fable, pretty much every request hit some gate they had for no discernible reason. These provider-level rejections should be incorporated into benchmarks as 0s on the tasks since that's the experience you'll actually get using the model.
I have a weird affection for good georcery chains. Wegmans, HEB, Giant Eagle, to a limited extent Publix. It's so odd to me that there are areas of the country with nothing like them. It really seems like you just need one good family who decides that they're going to care about how they're set up and make an effort to build a company with the right values.