AlphaProof Code

Re:AlphaProof Code by pvab3 on Tuesday November 10, 2026 @08:26AM (#50439979)

Isn't this kind of a major blow to human software developers? Now code can be generated and tested independently of human expertise, both much faster than a human could.

[ Parent | on HN ]

Re:AlphaProof Code by ngruhn on Tuesday November 10, 2026 @08:33AM (#50440084)

I think we're well past that point anyway

[ Parent | on HN ]

Re:AlphaProof Code by mapcars on Tuesday November 10, 2026 @08:48AM (#50440302)

Tested is one thing, proved is another. While you need less people to do this, now it also becomes meaningful to spend resources on, instead of another new feature.

[ Parent | on HN ]