This agent takes a proof or hypothesis to test as an input, writes a code to test the proof, runs the code and stores text and image results, and then interprets the results of the simulation.
Prompts are written in french, feel free to translate them to english or any language !
6093bbfa2e