Re:AlphaProof Code
by latentsea on Tuesday November 10, 2026 @02:40PM
(#50445252)
Yeah, so basically a trivial achievement barely worthy of a footnote.
[ Parent
| on HN ]
Re:AlphaProof Code
by andriy_koval on Tuesday November 10, 2026 @02:58PM
(#50445490)
its not worthy mention in the scope of this discussion because it is outdated to indicate anything, given how rapidly AI evolves.
Yeah, I disagree. If anything their approach has been very heavily focused around applications in science that don't show up as immediately the more consumer facing plays like OpenAI and Anthropic, but they're absolutely still doing world-class research. I don't think that's likely to have changed.