This is an interesting blog article by Dmitrii Magas on AI tools that can be used to help generate ideas for research. It does not include the new "Generate Theories" tool that is a new part of Asta from AI2 (https://asta.allen.ai ) and AutoDiscovery ( https://allenai.org/blog/autodiscovery ). https://eamag.me/2025/research-assistant-ai-tools(also see https://github.com/IcyFeather233/Awesome-Idea-Generation )#research #science #AI
Related
@mariyadelano > I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don...
@mariyadelano > I’ve been testing a theory: many people who are high on #AI and #LLMs are just new to automation and don’t realize you can automate processes with simple programmin...
One Pepper, Every Door I built Pepper’s voice features with one customer in mind: my dad. Reading a screen isn’t always ...
One Pepper, Every Door I built Pepper’s voice features with one customer in mind: my dad. Reading a screen isn’t always easy for him, and I wanted him to be able to just talk to Pe...
The Poincare conjecture in HOL Light, formalized by Claude Opus 5.5 following Perelman. ~ John Harrison. https://github....
The Poincare conjecture in HOL Light, formalized by Claude Opus 5.5 following Perelman. ~ John Harrison. https://github.com/hol-light-family/Poincare #HOL_Light #AI4Math #AI #Math