Hacker News: 2sk21

New comment by 2sk21 in "“Math 2.0” will need to value mathematical progress more holistically"

2sk21 — Thu, 08 Oct 2026 10:48:52 +0000

I also love the concept of Maths in Anathem. One of my all time favorite books!

New comment by 2sk21 in "“Math 2.0” will need to value mathematical progress more holistically"

2sk21 — Thu, 08 Oct 2026 10:42:28 +0000

I'm a retired AI researcher and I still enjoy programming. However, I don't use any however assistance as I still want the thrill of learning new things. Unfortunately, it appears that the only way for most developers to enjoy similar activities is to be retired with enough money

New comment by 2sk21 in "GPT‑6 and Intelligent UI for everyone"

2sk21 — Wed, 07 Oct 2026 18:30:18 +0000

How would a user know whether a generated visualization to illustrate some process is accurate or not?

New comment by 2sk21 in "Sharing AI progress in mathematics"

2sk21 — Wed, 07 Oct 2026 09:29:12 +0000

Unless humans have gone through the proofs line by line and verified them, this all remains unproven.

New comment by 2sk21 in "Dots: Always-on agents"

2sk21 — Wed, 30 Sep 2026 14:27:23 +0000

The Cyrano de Bergerac story needs to get updated for the agent era :-)

New comment by 2sk21 in "Dots: Always-on agents"

2sk21 — Wed, 30 Sep 2026 14:15:50 +0000

The harness should be your own for sure but the model is the problem. Even if the model is open weight, I have no idea whether it is acting in my interest.

New comment by 2sk21 in "Dots: Always-on agents"

2sk21 — Wed, 30 Sep 2026 14:12:28 +0000

yeah - the dissonance is strong here

New comment by 2sk21 in "Why I didn’t sign the Fields medallists’ letter"

2sk21 — Fri, 18 Sep 2026 14:01:25 +0000

Yes - but then we may well wind up with a hoard of hungry AI labs that are just waiting for interesting problems to show up so that they can devour it before any human mathematician gets a chance to solve it.

New comment by 2sk21 in "A Beginning for Mathematics"

2sk21 — Mon, 14 Sep 2026 23:08:36 +0000

> Now comes AI and it looks like the only bottleneck is people's motivation.

Who pays the salary of the mathematicians and the cost of accessing the AI?

New comment by 2sk21 in "AI handles incidents, engineers lose touch with their systems"

2sk21 — Sat, 05 Sep 2026 13:57:15 +0000

Who is going to teach programmers to wield AI competently?

New comment by 2sk21 in "AI handles incidents, engineers lose touch with their systems"

2sk21 — Sat, 05 Sep 2026 13:29:03 +0000

Much the same here - I have gone back to basics and am studying a lot more than I ever did.

New comment by 2sk21 in "The ChatGPT/Codex app bundles a full copy of LibreOffice"

2sk21 — Wed, 02 Sep 2026 13:44:35 +0000

You aren't worried that these binaries may have unfixed vulnerabilities?

New comment by 2sk21 in "The ChatGPT/Codex app bundles a full copy of LibreOffice"

2sk21 — Wed, 02 Sep 2026 13:10:09 +0000

You aren't worried about the provenance of the installed apps?

New comment by 2sk21 in "Mark Zuckerberg had a bold plan to replace Meta staff with AI"

2sk21 — Wed, 26 Aug 2026 12:15:36 +0000

Sounds like cargo cult approach to engineering management (to use Feynman's metaphor). It's interesting to see that even Meta is subject to this. When I worked at IBM (round about 2014), management decided to adopt the Spotify organizational system with squads, tribes and guilds - but nothing really changed. We still wrote code much the same way and delivered at the same rate. Except with more organizational overhead.

New comment by 2sk21 in "Improving GPT‑5.6 Sol in ChatGPT, expanding GPT‑5.6 Luna access for free users"

2sk21 — Thu, 06 Aug 2026 20:21:11 +0000

Exactly! I posted much the same comment in another thread and there were lots of huffy complaints that amounted to "you're prompting it wrong"

New comment by 2sk21 in "Google fixed more Chrome bugs in June than over the past two years, thanks to AI"

2sk21 — Fri, 31 Jul 2026 11:19:03 +0000

Thats fine but then Fable 5 should have requested this information instead of blundering along. So why didn't it? An expert human asked to do the same task would have surely asked for the additional data.

New comment by 2sk21 in "Who's afraid of Chinese models?"

2sk21 — Tue, 21 Jul 2026 09:15:27 +0000

Yeah - we also don't know if the models from OpenAI and anthropic are back-doored either.

New comment by 2sk21 in "AWS Bedrock to require sharing data with Anthropic for Mythos and future models"

2sk21 — Wed, 10 Jun 2026 13:46:52 +0000

This seems more like a marketing move though following the old dictum that all publicity is good publicity.

New comment by 2sk21 in "Gmail thinks I'm stupid, so I left"

2sk21 — Tue, 02 Jun 2026 20:35:40 +0000

You can turn off the "smart" features in the settings page for gmail. I did this and find it to be much more usable!

New comment by 2sk21 in "Mirage Reasoning: The Illusion of Visual Understanding"

2sk21 — Tue, 31 Mar 2026 22:53:35 +0000

This is just insane! Why hasn't this bubbled up to the top?