dogear

enter for all results · esc to close

AI-Assisted Mathematical Discovery

github.comtool

Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.

from
Math
added
2026-10-10
likes
0

Math › Mathematical Practice > AI for Mathematics: “Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.”