Puzzle Solving - GoKawiil

Engineer uses Google's OR-Tools CP-SAT solver to crack 3D-printed corn puzzle

An engineer at Recurse Center tried to solve a 3D-printed physical puzzle where corn-kernel-shaped pieces must slide into a grooved cob without gaps or overlaps. After manually attempting it, they asked Claude to write a solving script, which required some back-and-forth to correct piece shapes via computer vision. Rather than implementing recursive backtracking as expected, Claude's script imported Google's OR-Tools CP-SAT constraint solver library to find a solution.

thill.me · 2026-09-27

Nearly 5,000 mathematicians warn AI is distorting how math expertise is judged

Almost 5,000 mathematicians, including 25 Fields medalists, signed a declaration titled 'A Severe Misalignment of AI in Mathematics,' arguing that AI's success at solving famous problems is being mistaken for genuine mathematical progress. They contend that solving problems is merely a proxy for the real goal of conceptual insight, and that rapid AI-generated 'true/false' outputs could crowd out the slower work of idea generation rather than advance it.

seangoedecke.com · 2026-09-15