Ti KI-agenter fikk i oppgave å finne en raskere algoritme for korteste vei og bevise den formelt i verktøyet Lean. I løpet av 15 timer utviklet de C-HD, en formelt verifisert forbedring av tidligere publiserte grenser.
Kilde: https://www.vals.ai/blogs/faster-shortest-path-algorithm