人工智能解决Erdős问题：数学发现的新时代!

得益于Lean形式化和大语言模型的结合，利用人工智能解决著名的Erdős问题正在取得突破性进展。 这一令人兴奋的进展标志着人工智能辅助数学研究迈出了重要一步，并可能彻底改变我们解决复杂问题的方式。

• •该项目利用Lean证明助手和人工智能来形式化和解决Erdős问题。
• •该计划包括一个数据库、论坛和博客，以促进协作。
• •问题#728的解决方案被强调为一个重要的里程碑，并得到了Terence Tao的赞扬。