WRITINGS

A logbook of code, maths, and making, kept since 2024.

AI Discovery

AI systems making new mathematical or scientific discoveries. RL agents finding algorithms, automated theorem proving, machines as discoverers.

1 post

Filtered by tag: ai-discovery