Dan Robinson(@danrobinson):I think mathematicians as a community actually have quite a lot of power over how automated math research goes in the short term The labs and vibeprovers are expending all this effort to impress mathematicians. If they withhold their approval I think the effort will respond

Dan Robinson

@danrobinson

coder / lawyer. research at @paradigm. automated research reply guy

Joined March 2011

1.5K Following 85.6K Followers

Dan Robinson@danrobinson

2026.09.11 23:04

I think mathematicians as a community actually have quite a lot of power over how automated math research goes in the short term The labs and vibeprovers are expending all this effort to impress mathematicians. If they withhold their approval I think the effort will respond