[Tsundoku]

Azath Vitr (D, on 20 July 2026 - 11:36 PM, said:

Illuyankas, on 20 July 2026 - 11:02 PM, said:

I'd wait for some actual mathematicians to weigh in before trusting the lying slop machine, personally

As a specific counterexample it's very easy to formally verify. And yes, actual mathematicians have confirmed it.

As for "lying slop machine": Flagship models exhibit PhD-level intelligence across multiple fields. For mathematical proofs their logic can be automatically formally verified in Lean. But for a counterexample like this a few simple calculations are sufficient.

I've been using DeepSeek extensively in my study of graduate level pure mathematics. I always check its work rigorously, and it rarely makes mistakes. Research mathematicians have confirmed the extraordinary usefulness--and even the extraordinary creativity---of LLMs that have been enhanced with reasoning models.

Yeah ... don't use DeepSeek.
It may be a decent model by a lot of accounts, but it's even worse than the others for stealing your data and tracking you etc because this one is straight outta Beijing.

[Tiste Simeon]

Implying Beijing is actually any worse than Silicone Valley/Washington DC.

Implying any AI is actually good.

[Illuyankas]

I'm too depressed after reading countless articles and papers about the cognitive erosion of gen AI users who've surrendered their own choices to LLMs, tech company staff who know they get zero to negative productivity from enforced gen AI but can't talk about it publicly else they'll be fired and blacklisted, and the state of public education being decimated with new graduates not knowing how to do anything without asking ChatGPT, that not even learning OpenAI is making less than 10% of the projected profits they claimed they'd need to make to stay solvent is enough to make me go on a tangent in the wrong thread

Or find the right thread for that matter

[Macros]

so football then eh?

Actually on football, does anyone have a line on getting tickets to Anfield, cause fuck me its not easy anymore?

really trying to get 4 for the Fulham or City game

[Tiste Simeon]

 Macros, on 21 July 2026 - 08:47 PM, said:

so football then eh?

Actually on football, does anyone have a line on getting tickets to Anfield, cause fuck me its not easy anymore?

really trying to get 4 for the Fulham or City game

It's LFC so I believe the usual method is finding someone who has tickets and shanking them behind a nearby pub.

[Tsundoku]

Tiste Simeon, on 22 July 2026 - 05:30 AM, said:

Macros, on 21 July 2026 - 08:47 PM, said:

so football then eh?

Actually on football, does anyone have a line on getting tickets to Anfield, cause fuck me its not easy anymore?

really trying to get 4 for the Fulham or City game

It's LFC so I believe the usual method is you and a bunch of your unemployed mates finding someone who has tickets and shanking them behind a nearby pub.

FTFY.

[Macros]

So.... same as most teams then

[Tsundoku]

Pretty much. Just with whinier accents.

[Macros]

Alright alright calm down!