AI（人工智能）在股票交易中的应用正在逐渐增多，许多公司已经开始开发使用AI技术的炒股软件。这些软件通常利用机器学习、大数据分析、自然语言处理等技术来分析市场趋势、预测股价走势、提供投资建议等。以下是一些知名的AI炒股软件：

1、QuantConnect 这是一个开源的算法交易平台，允许用户编写自己的量化交易策略，并在真实或模拟的市场环境中进行测试。

2、Backtrader 另一个流行的Python库，用于回测和实时交易策略。它支持多种金融工具和市场数据源。

3、Zorro (Zero Redundancy Optimizer) 一个开源的量化交易系统框架，适用于策略开发、回测和实时交易。

4、MetaTrader 5 虽然更出名于外汇交易，但MetaTrader 5也提供了内置的MQL5编程语言，可用于创建自定义的交易机器人（Expert Advisors, EAs）。

5、QuantHouse 提供全面的量化交易解决方案，包括策略开发、回测和执行平台。

6、Alpha Simplex Group 提供基于机器学习的交易策略，并有一个API接口供其他开发者集成到自己的系统中。

7、Numerai 通过众包的方式让全球的数据科学家共同构建复杂的交易模型，然后使用这些模型进行实际交易。

8、Kavout 结合了大数据分析和人工智能技术，为投资者提供个性化的投资决策辅助。

请注意，尽管AI技术在提高交易效率和准确性方面具有潜力，但它并不能保证盈利。股市投资始终存在风险，任何依赖AI系统的决策都应该谨慎对待，并结合个人研究和判断。此外，由于AI炒股软件通常涉及复杂的技术和专业知识，因此在使用前建议充分理解其功能和限制。