Replying to @ns123abc
Watch panel with Peter Scholze, about AI in mathematical research
youtu.be/H7_d_sgui6o?is=sYBI…
Reasoning Machine treats reasoning as a control loop: observe state, restrict actions with hard invariants, let System 1 choose the next step, invoke System 2 only when needed, verify the result, update state, repeat.
🤖 Made with AI






