ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge
Sakana AI ● Covered by 5 sources
Takuya Akiba's competitive programming team used Sakana AI's ShinkaEvolve framework to optimize their code for the 2025 ICFP Programming Contest, winning first place. The system performed 320 trials at a cost of $60, achieving up to 10x speedup on their SAT solver by discovering a more efficient intermediate representation for the maze topology encoding. This collaboration enabled the team to solve previously intractable large-scale problems and provided insights that the human programmers then applied to other challenges.
Also covered by
- Sakana AI — Sakana AI super-powers AI reasoning using Japan’s own Sudoku Puzzles
- Sakana AI — Towards Automating Long-Horizon Algorithm Engineering for Hard Optimization Problems
- Sakana AI — AI Agent Wins First Place in Optimization Programming Contest
- Sakana AI — Sakana AI Agent Wins AtCoder Heuristic Contest (First AI to Place 1st)