# Sakana AI — ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge

- Company: Sakana AI (sakana.ai)
- Announced: 2025-10-15T15:00:00+00:00
- Subject: Sakana models
- Source: https://sakana.ai/icfp-2025
- Record: https://forck.live/items/4706-shinkaevolve-in-action-how-a-human-ai-partnership-conquered-a-coding-challenge

Sakana AI's ShinkaEvolve framework, an evolutionary code optimization tool powered by LLMs, was applied to optimize the SAT encoding in a solution for the ICFP Programming Contest. It achieved up to a 10x speedup in solver execution time, enabling the team to solve larger problem instances, and also provided insights that improved human development.

## Evidence

Verbatim from https://sakana.ai/icfp-2025:

> By automatically optimizing the SAT encoding at the heart of our approach, ShinkaEvolve accelerated our solver by up to 10x.

---

Record: https://forck.live/items/4706-shinkaevolve-in-action-how-a-human-ai-partnership-conquered-a-coding-challenge
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md