What does it take for AI to do research, not just solve problems? Here is what the recent six studies said: from drug-discovery agents to formal proof search, AI is moving into open research, but still requires external verification and human digestion and understanding.

https://benjaminhan.net/posts/20260606-ai-joins-the-research-loop/?utm_source=mastodon&utm_medium=social

#AI #AIforScience #Mathematics #Biomedical

AI Joins the Research Loop – synesis

Six recent results, from drug-discovery agents to formal proof search, show AI moving from solving closed problems to taking part in open research, where the trustworthy part is whatever can be checked.

synesis