A comprehensive index of artificial intelligence and machine-learning research with AI-generated summaries, citation metrics, and direct links to papers and code.
Tony Feng, Trieu H. Trinh, G. Bingham, et al.
A case study using Gemini to semi-autonomously evaluate 700 open conjectures from Bloom's Erdős Problems database, finding obscurity rather than difficulty explains their open status.
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.
Llemma is an open-source LLM for mathematics, built by continued pretraining of Code Llama on a curated dataset of scientific papers, web math, and code, enabling tool use and formal theorem proving.