AI cracks yet another century-old problem (fortune.com)

An AI model has recently solved the Jacobian conjecture, a mathematical problem that has puzzled experts since 1939, marking a significant breakthrough in the field of mathematics driven by artificial intelligence. The conjecture, rooted in complex geometry and the work of mathematician Ott-Heinrich Keller, pertains to the conditions under which outputs can uniquely determine inputs. This result was quickly verified and gained massive attention online, showcasing the potential of AI to tackle deep mathematical inquiries that have long eluded human efforts. The significance of this achievement extends beyond the solution itself; it raises important questions about the future role of mathematicians as AI systems increasingly take on tasks traditionally reserved for human intellect. While AI can verify proofs efficiently, it struggles to provide the deeper understanding and reasoning that human mathematicians possess. This gap in "how" versus "why" emphasizes the ongoing need for human input in mathematical inquiry, particularly in framing and posing questions. As AI continues to advance, discussions around transparency, attribution, and the essence of mathematical exploration itself will become increasingly crucial, leaving the community to grapple with the implications of these rapid changes on the profession and its future.