turalg

Re:First proof submission with Uber-polya coding agent skill Claude Co... on Monday March 02, 2026 @03:47PM (#47223830)

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.

First proof submission with Uber-polya coding agent skill Claude Code [pdf]

Posted by turalg on Monday March 02, 2026 @03:12PM
from the turalgulmammadov.com dept.

https://www.turalgulmammadov.com/files/firstproof.pdf

( Read More... | 1 comment | on HN )

Re:Ask HN: YC W2018 invites/rejections? on Wednesday October 25, 2017 @12:51AM (#15547569)

congrats!

Re:Ask HN: YC W2018 invites/rejections? on Tuesday October 24, 2017 @11:32PM (#15547234)

what's your evidence?