Artificial intelligence
fromwww.scientificamerican.com
3 weeks agoAI uncovers solutions to Erdos problems, moving closer to transforming math
AI language models helped mathematicians find references and solutions, moving about 100 Erdos conjectures from open to solved by combining literature search and theorem synthesis.