Boxo McFoxo @boxobark.ing · 07/10/2026People need to understand that just because the output is in Lean, that doesn't make it an automatic solver. Automatic solvers only work on problems that can be pre-formalised. 1151
Boxo McFoxo @boxobark.ing · 07/10/2026For it to be a good idea to use GPT in this way, GPT would have to actually understand. This is a propaganda effort to make you believe that GPT understands, not an altruistic gift to the field of mathematics. 2192
spool32 @spool32.bsky.social · 07/10/2026No one has to understand a solution to a math problem for it to be correct, though. 100
War Devil @wardevil.bsky.social · 07/10/2026Already seen a researcher on here heavily deflate one of the claims by sorting through the details. Total PR stunt. 130
