Analysis of the 2025 IMO problems and how AI should be able to do (sugaku.net)
1 points by amichail 4 minutes ago | 0 comments
11 points by amichail 4 minutes ago | 0 comments
11 points by icetank 5 minutes ago | 0 comments
21 points by the-mitr 10 minutes ago | 0 comments
31 points by themeaningist 12 minutes ago | 0 comments
41 points by stagas 15 minutes ago | 1 comment
51 points by geox 17 minutes ago | 0 comments
63 points by todsacerdoti 17 minutes ago | 0 comments
72 points by oleksandr_dem 18 minutes ago | 0 comments
81 points by consumer451 18 minutes ago | 0 comments
91 points by tzury 18 minutes ago | 0 comments
101 points by PaulHoule 20 minutes ago | 0 comments
111 points by thunderbong 20 minutes ago | 0 comments
122 points by 120-dev 23 minutes ago | 0 comments
132 points by ibobev 25 minutes ago | 0 comments
142 points by donohoe 26 minutes ago | 0 comments
151 points by rntn 26 minutes ago | 0 comments
162 points by ibobev 27 minutes ago | 0 comments
171 points by ibobev 27 minutes ago | 0 comments
181 points by inti_bug 28 minutes ago | 1 comment
191 points by rbanffy 36 minutes ago | 0 comments
202 points by IlikeKitties 37 minutes ago | 1 comment
212 points by petethomas 40 minutes ago | 1 comment
221 points by billyp-rva 40 minutes ago | 0 comments
233 points by FerkiHN 43 minutes ago | 2 comments
241 points by TrianguloY an hour ago | 0 comments
251 points by tosh an hour ago | 0 comments
261 points by yt1314 an hour ago | 0 comments
274 points by INGELRII an hour ago | 0 comments
281 points by fabianoao an hour ago | 0 comments
293 points by diqi an hour ago | 0 comments
30