Re:AlphaProof Code
by scottyah on Tuesday November 10, 2026 @01:23PM
(#50444149)
They seem to be going only after flashy math problems that don't have much impact on human life, other than taking the chance for humans to get their names in the hall of fame. To me, it's like showing how good your robots are by having them climb Everest or swim across the Atlantic- amazing feats for sure, but it doesn't really help anyone else. Meanwhile Google and Anthropic are focusing more on solving problems that are a tad slower and more boring if you're not in the space, but they appear to be important building blocks to unlocking much more functionality.
[ Parent
| on HN ]
Re:AlphaProof Code
by akoboldfrying on Tuesday November 10, 2026 @08:18PM
(#50448664)
I'm very bullish on Google long-term, but the other frontier labs' approach of (successfully!) solving a raft of prestigious mathematics problems is top-notch strategy IMHO. With almost anything else, they would never break through the current of "Pfft, that's not real intelligence!" goalpost-shifting that's out there. It takes a level of demonstrated ability that cannot be plausibly denied to make that kind of impact. Unfortunately, causing some of the brightest minds in the world to worry about whether their profession has a future may have been necessary to achieve that level (I say nothing about whether this is ethically acceptable).
I would be extremely impressed by a robot that swam the Atlantic or climbed Everest, as would almost any human alive. If you have a robot that can do one of those things, you should absolutely do it as a publicity stunt.