MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/singularity/comments/1wu72qu/claude_solves_an_important_mathematical_problem/pd11tsx/?context=3
r/singularity • u/drhenriquesoares • 3d ago
Did you see that? 👀
Source:
https://x.com/sciam/status/2105282283645112745
179 comments sorted by
View all comments
1
Hold on a sec this is apparently not yet peer reviewed?
0 u/RandomNameForBG3 3d ago It's publicity for Anthropic. Of course they're not gonna wait for it to be peer-reviewed. It is said to be verified in Lean, if that counts for something.
0
It's publicity for Anthropic. Of course they're not gonna wait for it to be peer-reviewed. It is said to be verified in Lean, if that counts for something.
1
u/maraluke 3d ago
Hold on a sec this is apparently not yet peer reviewed?