Lacuna
Lead author of HorizonMath research paper on measuring AI progress toward mathematical discovery with automatic verification.
Referenced in coverage
“Lead author of HorizonMath research paper on measuring AI progress toward mathematical discovery with automatic verification.”