Artificial intelligencefromNature1 week agoAI cracks 80-year-old mathematics challenge - researchers are astonishedAn AI system using algebraic number theory has verified a best-possible arrangement for the unit-distance problem, disproving Paul Erdős’s claim.
Artificial intelligencefromwww.scientificamerican.com1 week agoAI just solved an 80-year-old Erdos problem,' and mathematicians are amazedA chatbot produced a solution to a major geometry conjecture, verified by experts, meeting top-math publication standards.