Harmonic unleashes Aristotle, the world's first formal mathematician agent for free
r/singularity
•
Generative AI
Good findings. This is the tool behind the recent Erdős problem news that Tao attempted to solve using ChatGPT. submitted by /u/Distinct-Question-16 [link] [comments]