Amazing stuff! AI may transform mathematics.
"“According to a webpage started by the mathematician Terence Tao, AI tools have helped transfer about 100 Erdős problems into the “solved” column since October. The bulk of this assistance has been a kind of souped-up literature search, as it was with Sawhney’s initial success. But in many cases, LLMs have pieced together extant theorems—often in dialogue with their mathematician prompters—to form new or improved solutions to these niche problems. In at least two cases, an LLM was even able to construct an original and valid proof to one that had never been solved, with little input from a human.”"
Is AI on the precipice of revolutionizing math? It depends "LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test"
No comments:
Post a Comment