Hacker News new | ask | show | jobs
First proof submission with Uber-polya coding agent skill Claude Code [pdf] (turalgulmammadov.com)
2 points by turalg 108 days ago
1 comments

Let's discuss your feedback or comments. You can use uber-polya skill to solve mathematical problems. The uber-polya engine augments George Polya’s methodology with a catalog of over 340 algorithms, 116 mathematical structures, and 30 solver libraries, enabling systematic identification of applicable techniques for each problem domain.