@communist@lemmy.frozeninferno.xyz
Post #3557680
2026-06-24 20:50 UTC
They regularly win olympiad mathematics up from not standing a chance and just created a novel solution to the erdos conjecture, them counting the r’s in strawberry is inconsequential but also something they can do even if you just use the raw api or a local model.
Replies (1)
-
@zbyte64@awful.systems 2026-06-25 00:09
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.