Open-source AI scientist for semi-autonomous theory discovery

开源AI科学家项目，支持半自主理论发现，可自动提出假设并验证，适合科研人员与AI探索者。