Categories: FAANG

FunSearch: Making new discoveries in mathematical sciences using Large Language Models

In a paper published in Nature, we introduce FunSearch, a method for searching for “functions” written in computer code, and find new solutions in mathematics and computer science. FunSearch works by pairing a pre-trained LLM, whose goal is to provide creative solutions in the form of computer code, with an automated “evaluator”, which guards against hallucinations and incorrect ideas.
AI Generated Robotic Content

Recent Posts

3 Nuclear Startups Hit a Big Milestone. Why It Matters—and Why It Doesn’t

The companies’ Fourth of July plans include celebrating new reactor designs coming online. But there’s…

19 hours ago

Context vs. Memory Engineering in Agentic AI Systems

Compression on Arrival Tool outputs should be compressed after a call returns, not after the…

2 days ago

Why I disappeared for 3 Months & What’s Next

I’ve been quiet since November because I’ve been building.Over the past few months, AI has…

2 days ago

Multi-Agent Teams Hold Experts Back

Multi-agent LLM systems are increasingly deployed as autonomous collaborators, where agents interact freely rather than…

2 days ago

Managing Elasticsearch Reindex at Scale: Performance, Reliability, and Observability

Editor’s Note: This is the fourth post in a series exploring how Palantir customizes infrastructure…

2 days ago

GenPage: Towards End-to-End Generative Homepage Construction at Netflix

Authors: Lequn Wang, Jiangwei Pan, and Linas BaltrunasFigure 1. Autoregressive homepage generation. GenPage builds a…

2 days ago