Solving Inequality Proofs with Large Language Models | Read Paper on Bytez