Ask HN: Is it possible to backtest math/scinse breakthroughs with AI models?

An Ask HN post proposes building a synthetic dataset of everything known up to a cutoff such as 1900 and testing whether an AI model can arrive at the same theories, or more interestingly, different ones. The post links to its Hacker News comments page.