{"schemaVersion":"1.0","generatedFrom":"https://brightaifuture.com/discoveries/funsearch","record":{"id":"funsearch","headline":"New paths through mathematics.","canonicalUrl":"https://brightaifuture.com/discoveries/funsearch","datePublished":"2026-09-05","dateModified":null,"sourcePublicationDate":"2023-12-14","author":null,"publisher":{"name":"Bright AI Future","url":"https://brightaifuture.com/"},"topics":[],"summary":"FunSearch combined language models with program evaluation to discover mathematical constructions.","evidenceState":"Demonstrated","keyFacts":[{"label":"AI’s role","value":"Generated programs were tested, selected, and iteratively improved."},{"label":"Documented result","value":"The study found new constructions for the cap set problem and useful packing heuristics."},{"label":"Important limitation","value":"The approach depends on an evaluator; it is not a general proof engine."}],"limitations":["The approach depends on an evaluator; it is not a general proof engine."],"evidenceLinks":[{"title":"Mathematical discoveries from program search with large language models","url":"https://www.nature.com/articles/s41586-023-06924-6","type":"paper"}],"evidencePackUrl":"https://brightaifuture.com/evidence-pack/funsearch","embedUrl":"https://brightaifuture.com/embed/story/funsearch","attribution":{"credit":"Bright AI Future","requirements":["Link to the canonical Bright record.","Keep material limitations with the claim they qualify.","Link to the original evidence when repeating a substantive claim.","Do not describe a source check or organization-reported result as independent verification."],"sourceRights":"Linked source material, quotations, trademarks and media remain subject to their owners’ terms. No reuse right is granted for third-party media."}},"claim":{"humanProblem":"Some combinatorial problems have vast search spaces.","priorConstraint":"Researchers develop and evaluate candidate constructions.","aiRole":"Generated programs were tested, selected, and iteratively improved.","documentedResult":"The study found new constructions for the cap set problem and useful packing heuristics.","whyItMayMatter":"Researchers gained an additional experimental tool.","unresolvedQuestions":["Apply verifiable search to other suitable problems."]},"evidenceAssessment":{"state":"Demonstrated","claimConfidence":"unassessed","reviewState":"source-checked","reviewMethod":null,"reviewNote":"Legacy source check; no named human reviewer is recorded in this projection.","lastSourceReview":"2026-09-05","independentVerification":"not-established-by-this-source-review"},"sources":[{"id":"source:funsearch","title":"Mathematical discoveries from program search with large language models","url":"https://www.nature.com/articles/s41586-023-06924-6","type":"paper"}],"revisions":[],"corrections":[]}