BRIGHT EVIDENCE PACK / Demonstrated
New paths through mathematics.
FunSearch combined language models with program evaluation to discover mathematical constructions.
Canonical Bright record · JSON evidence pack · Key-facts embed
Dates and assessment
- Source published
- 2023-12-14
- Bright published
- 2026-09-05
- Substantive update
- None recorded
- Evidence state
- Demonstrated
- Independent verification
- Not established by this source review
- Last source review
- 2026-09-05
The claim in context
The human problem
Some combinatorial problems have vast search spaces.
The prior constraint
Researchers develop and evaluate candidate constructions.
AI’s actual role
Generated programs were tested, selected, and iteratively improved.
The documented result
The study found new constructions for the cap set problem and useful packing heuristics.
Why it may matter
Researchers gained an additional experimental tool.
Limitations
- The approach depends on an evaluator; it is not a general proof engine.
Original evidence
Attribution
Credit Bright AI Future and link the canonical Bright record.
- 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.
Linked source material, quotations, trademarks and media remain subject to their owners’ terms. No reuse right is granted for third-party media.