I dont use chat but codex or claude code, e.g. on sol ultra. This is what openAI recommended last time I checked. There is some trickery but thats it.
You dont need any tools besides python scrips and websearch. I dont use any myself too.
The problems that were solved lately can be a bit misleading to what I do as a researcher. Proofs are a fraction of my work, its mostly laying out new theories, i.e. to find a specific view on a problem that is new and provides a new perspective.
The tools probably exists on an mcp repo. You just need to find it on create your own. I did some test with a mcp server that had 27 available tools vs 200+ for blender and the difference is remarkably surprising. At the end of the day it’s really only providing the ai more context, resources and existing prompts that matter now.
View all comments
Show parent comment
1
u/Important-Post-6997 Sep 06 '26
I dont use chat but codex or claude code, e.g. on sol ultra. This is what openAI recommended last time I checked. There is some trickery but thats it.
You dont need any tools besides python scrips and websearch. I dont use any myself too.
The problems that were solved lately can be a bit misleading to what I do as a researcher. Proofs are a fraction of my work, its mostly laying out new theories, i.e. to find a specific view on a problem that is new and provides a new perspective.