Terence Tao on Nostr: Project Numina, which won the first AIMO progress prize in part through developing ...

Project Numina, which won the first AIMO progress prize in part through developing their database (NuminaMath https://huggingface.co/datasets/AI-MO/NuminaMath-CoT ) of nearly a million math problems and solutions at various levels of formality, has just announced a project (funded by a grant from XTX markets) to create a larger database of up to one million completely formalized mathematical exercises and proofs, to be publicly released around mid-2025. https://www.businesswire.com/news/home/20241217062574/en/Project-Numina-Receives-%E2%82%AC3m-Research-Grant-From-XTX-Markets