Post #3557679
2026-06-25 00:09 UTC
Using computers to search for a counter example to a conjecture isn’t exactly new ground and I suspect they did so with the aide of some harness tweaks like some numerical LSP. Like cool, it pushed the envelope but like what the parent said, they grafted on the ability to do a specific task.
Replies (1)
-
@communist@lemmy.frozeninferno.xyz 2026-06-25 08:02
That doesn’t change the fact that llm’s are capable of acing math olympiads. So what if it uses tools? You probably would too. I doubt anybody there did it without a calculator. www.nature.com/articles/d41586-025-02343-x