Meta tag

Inference Cost

1 članak

$AlphaProof Nexus solves old Erdős problems with Lean verification$

db#4796

AlphaProof Nexus pomiče AI matematiku s lijepih tvrdnji na provjerljive dokaze

AlphaProof Nexus nije samo napisao uvjerljive matematičke argumente: svaki korak morao je proći kroz Lean, što je razlika između elegantnog teksta i provjerljivog dokaza.

25 May 2026

FR⊞ Foto Review R2◇ Review2