The unreasonable effectiveness of guided confabulation: Solving math problems with hallucinatory LLMs is now possible!? 🤯 We explain how Google DeepMind did it.
Bonus: The answer of Fields Medalist 2022 Hugo Duminil-Copin at the last #HLF23 after I asked about AI helping mathematicians solve problems.
➡️ AI Coffee Break Merch! 🛍️ aicoffeebreak.creator-spring....
📚 FunSearch blog post: deepmind.google/discover/blog...
📜 “Mathematical discoveries from program search with large language models” by Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan S. Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli & Alhussein Fawzi, Nature 2023 www.nature.com/articles/s4158...
🕊️ “Mathematics will fall first” / 1731096582932578653
Thanks to our Patrons who support us in Tier 2, 3, 4: 🙏
Dres. Trost GbR, Siltax, Vignesh Valliappan, @Mutual_Information , Kshitij
Outline:
00:00 Mathematics will fall first
01:19 time computation / Guided confabulation
03:02 FunSearch explained
05:14 Cap Set problem
06:23 Bin Packing problem
07:22 Mathematicians say this
10:42 Will AI take mathematician’s jobs?
▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀
🔥 Optionally, pay us a coffee to help with our Coffee Bean production! ☕
Patreon: / aicoffeebreak
Ko-fi: ko-fi.com/aicoffeebreak
▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀
🔗 Links:
AICoffeeBreakQuiz: / aicoffeebreak
Twitter: / aicoffeebreak
Reddit: / aicoffeebreak
KZitem: / aicoffeebreak
#AICoffeeBreak #MsCoffeeBean #MachineLearning #AI #research
Mushroom in the thumbnail generated with DALL-E (GPT-4 interface)
Video editing: Nils Trost
Негізгі бет Ғылым және технология LLM hallucinations discover new math solutions!? | FunSearch explained
Пікірлер: 86