Show HN: Open-source AI scientist for semi-autonomous theory discovery | Dark Hacker News