News for hackers. Stuff that matters.
Re:AlphaProof Code by latentsea on Tuesday November 10, 2026 @02:40PM (#50445252)
Yeah, so basically a trivial achievement barely worthy of a footnote.
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.
Re:AlphaProof Code by latentsea on Tuesday November 10, 2026 @07:48PM (#50448438)
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.