What are the most useful plugins for mathematicians, or just what plugins do fellow mathematicians on this forum use? Are there any that are helpful for proof?

Regarding Plugins Useful for Math

anon22939549 May 18, 2023, 11:14pm 2

The most likely would be Wolfram but that’s really for computation. I’ve not seen any discussion even of linking an LLM to any kind of proof engine.

Topic		Replies	Views
Which plugins are good to read mathematical pdf? Plugins / Actions builders gpt-4 , plugin-development , chatgpt-plugin	14	2819	January 6, 2024
Chat GPT and LaTeX - compatible? Plugins / Actions builders chatgpt	24	35412	December 13, 2023
ChatGPT as a writing assistant Community	2	1794	March 18, 2023
What are the top 3 pain points for plugin developers? Plugins / Actions builders plugin-development	32	3954	September 4, 2023
Can GPT-4 render Mathjax as 3.5 does? Prompting	6	2822	March 30, 2023