A Neural Network Solves and Generates Mathematics Problems by Program Synthesis | Paper Explained
✅❤️ Become The AI Epiphany Patreon ❤️
/ theaiepiphany
👨👩👧👦 Join our Discord community 👨👩👧👦
/ discord
In this video I cover "A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More" paper that showed that you can solve university-level mathematics problems using OpenAI's davinci Codex model coupled with some prompt hacking.
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
✅ This video's paper: https://arxiv.org/abs/2112.15594
✅ OpenAI Codex paper: https://arxiv.org/abs/2107.03374
✅ Universal Computation Engine paper: https://arxiv.org/abs/2103.05247
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
⌚️ Timetable:
00:00 High level overview of the paper
03:05 OpenAI Codex background
12:35 Prompt modifications (high level)
15:05 Testing on unseen maths course, problem examples
17:10 Prompt modifications (in depth)
25:00 Problem generation: humans vs Codex
28:25 Quantifying the problem statement modification levels
31:50 Outro
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
💰 BECOME A PATREON OF THE AI EPIPHANY ❤️
If these videos, GitHub projects, and blogs help you,
consider helping me out by supporting me on Patreon!
The AI Epiphany - / theaiepiphany
One-time donation - https://www.paypal.com/paypalme/theai...
Huge thank you to these AI Epiphany patreons:
Eli Mahler
Petar Veličković
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
💼 LinkedIn - / aleksagordic
🐦 Twitter - / gordic_aleksa
👨👩👧👦 Discord - / discord
📺 YouTube - / theaiepiphany
📚 Medium - / gordicaleksa
💻 GitHub - https://github.com/gordicaleksa
📢 AI Newsletter - https://aiepiphany.substack.com/
▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬
#mathematics #codex #gpt3