Tomodovodoo
@tomodovodoo.bsky.social
Hi, I'm Tomo, 21, BSc Chemistry; biochem/Chem-ai. Interested in AI for mathematics!
Introduction Post!
Hi, I'm Tomo;
21, BSc in Chemistry with a focus on AI/biochem.
I work open source in Lean, and recently managed to produce an agentic 1stproof formalisation of problem 9!
Interested in applying AI in math, chemistry, and other STEMs!
Hi, I'm Tomo;
21, BSc in Chemistry with a focus on AI/biochem.
I work open source in Lean, and recently managed to produce an agentic 1stproof formalisation of problem 9!
Interested in applying AI in math, chemistry, and other STEMs!
February 16, 2026 at 1:29 PM
Introduction Post!
Hi, I'm Tomo;
21, BSc in Chemistry with a focus on AI/biochem.
I work open source in Lean, and recently managed to produce an agentic 1stproof formalisation of problem 9!
Interested in applying AI in math, chemistry, and other STEMs!
Hi, I'm Tomo;
21, BSc in Chemistry with a focus on AI/biochem.
I work open source in Lean, and recently managed to produce an agentic 1stproof formalisation of problem 9!
Interested in applying AI in math, chemistry, and other STEMs!