0:00-41:54
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
In dieser Folge werfen wir einen Blick auf AlphaEvolve, eine ausgefeilte Optimierungssoftware, die von Google DeepMind letztes Jahr vorgestellt wurde. Damit kann man, wie früher beim genetic programming Programme evolvieren. Das Ziel hierbei ist aber nicht die Ausführungszeit, sondern, dass ein möglichst gutes mathematische Objekte vom Programm ausgegeben wird. Damit konnten verschiedene mathematische Konstruktionen wie z.B. eine untere Schranke für die 11-dimensionale Kissing number verbessert werden.
- Unit Distance Problem
- First Proof
- Terry Tao Essensanalogie auf Mastodon
- AlphaEvolve Blog Post (Mai 2025)
- Mathematical exploration and discovery at scale (arXiv)
- Genetic Programming (John Koza)
- Lisp
- Eureqa-Paper
- OpenEvolve
- AlphaEvolve Github
- Tao Blog Post zum Paper
Ein automatisch generiertes Transkript (also den Volltext) dieser Folge gibt es auf der Episodenseite.
Website
thomas-kahle.deBluesky
bsky.appYouTube (Channel)
youtube.comORCiD
orcid.orgPatreon
patreon.com@tomkalei (Mastodon)
machteburch.socialSpende (Paypal)
paypal.meUnit Distance Problem
arxiv.orgFirst Proof
1stproof.orgTerry Tao Essensanalogie auf Mastodon
mathstodon.xyzAlphaEvolve Blog Post (Mai 2025)
deepmind.googleGenetic Programming (John Koza)
genetic-programming.comLisp
de.wikipedia.orgEureqa-Paper
science.orgOpenEvolve
github.comAlphaEvolve Github
github.comTao Blog Post zum Paper
terrytao.wordpress.com@Eigenraum@podcasts.social
podcasts.socialEpisodenseite
eigenpod.de
- 0:00Intro
- 0:34OpenAI wirbt mit Mathe
- 2:19Nachklapp First Proof
- 9:50Mathe und Programmieren und LLMs
- 11:48Genetic Programming
- 23:33AlphaEvolve
- 36:40Fazit