Tag: #theorem-proving

Articles related to theorem-proving

science

UCLA-Affiliated Paper Says AI Agent Solved 10 Research Math Problems — But Proofs Were Accepted Only by an LLM Verifier

UCLA-affiliated arXiv paper claims AI agent solved 10 research math problems, but results were accepted by an LLM verifier, not independently or by proof assistants.

#ai, #mathematics, #arxiv, #theorem-proving