AlphaProof Code deepmind.google
154 points by ilreb 1 hour ago | 69 comments
1154 points by ilreb 1 hour ago | 69 comments
132 points by phaser 44 minutes ago | 14 comments
223 points by Bluestein 32 minutes ago | 13 comments
3431 points by aloukissas 7 hours ago | 151 comments
488 points by giuliomagnifico 4 hours ago | 71 comments
5701 points by lairv 19 hours ago | 865 comments
644 points by CoderLuii 1 hour ago | 28 comments
7660 points by munro 17 hours ago | 334 comments
831 points by samuelaidoo45 1 day ago | 5 comments
9182 points by Curiositry 8 hours ago | 73 comments
1074 points by rustyhancock 4 hours ago | 58 comments
1111 points by benbreen 2 days ago | 5 comments
1286 points by werrett 6 hours ago | 25 comments
1346 points by Element_ 2 days ago | 24 comments
14238 points by bigwheels 13 hours ago | 122 comments
1564 points by theanonymousone 3 days ago | 14 comments
161093 points by vismit2000 1 day ago | 153 comments
17548 points by ocd 21 hours ago | 313 comments
18433 points by porridgeraisin 18 hours ago | 54 comments
1923 points by TheIncredibleCh 3 hours ago | 12 comments
20194 points by Curiositry 13 hours ago | 63 comments
21101 points by Ivoah 9 hours ago | 28 comments
2259 points by FinnLobsien 2 hours ago | 35 comments
2363 points by mebcitto 7 hours ago | 7 comments
24329 points by speckx 23 hours ago | 224 comments
2598 points by carnevalem 11 hours ago | 40 comments
26403 points by a585gupt 19 hours ago | 73 comments
27174 points by nomi_uw 4 days ago | 15 comments
28147 points by sshah03 19 hours ago | 85 comments
29148 points by talboren 22 hours ago | 240 comments
30