Harmonic 发布亚里士多德：免费形式数学家智能体！

这是一个令人兴奋的消息！ Harmonic 发布了亚里士多德，世界上第一个免费的形式数学家智能体！ 这个工具可能会彻底改变我们解决复杂问题的方式，比如著名的 Erdős 问题。