AI x Mathematics
Hosted by
´◡`
◔◟◔
´◡`◔◟◔Welcome to AI x Mathematics!!
We're especially thankful to our sponsors:
- Wolfram Research for compute
- Omniscience for paper generation.
And to our honorable judges:
- Joan Cabezas
- Sven Strohband of Khosla Vantures
- Gautham Elango
In the wake of AlphaProof and AlphaGeometry’s fantastic performance solving International Mathematical Olympiad problems, come hack with us on models like Quen 2’s open source SOTA math variant and Wolfram Alpha’s API to build incisive mathematical tools with modern foundation models.
We'll hear from Stephen Wolfram of Wolfram Research on his vision for this intersection of AI and advances in Mathematics, Jeremy Nixon of Omniscience on paper writing and lit review for Mathematics, and come together to build projects that we hope can seed companies, direct novel discoveries, and move the needle on this frontier.
Sven Strohband, Managing Director at Khosla Ventures, will serve as one of our judges.
The singular promise—each attendee must produce a worthy Math × AI demo!
We encourage projects in:
* Automated Theorem Proving
* Mathematical Conjecture Generation
* Symbolic Reasoning and AI
* AI-assisted Mathematical Research Tools
* Visualization of Complex Mathematical Concepts using AI
* Applications of AI in Numerical Simulations and Computational Mathematics
* Machine Learning for Mathematical Data Analysis
* Natural Language Processing for Mathematical Texts
* AI for Mathematical Education Tools
Grad students are especially encouraged to apply!
Schedule:
11:30 AM - Lunch served
12:00 PM - Talks from:
* Dr. Stephen Wolfram (Founder @ Wolfram Research)
* Bernardino Romera Paredes (Former DeepMind researcher, author of FunSearch: Making new discoveries in mathematical sciences using Large Language Models; building in stealth)
* Jeremy Nixon (Chief Executive Officer @ Omniscience)
* Sven Strohband (Managing Director @ Khosla Ventures)
* And a few more surprise guests
1:00 PM - Lightning Talks & Team formation
1:30 PM - Hacking begins!
6:30 PM - Dinner served
8:00 PM - Demos
9:50 PM - Judging & Awards
:◗
-‿-
◕‿◕