Tag
An essay examines how unreleased frontier AI systems from OpenAI and Anthropic have formalized Fermat's Last Theorem, addressed the Navier-Stokes problem, and targeted Clay Millennium Prize problems, provoking anxiety and soul-searching among mathematicians about the future of human research.
Derek Thompson 探讨 OpenAI 在数学领域取得突破性成果后，数学界所经历的震惊与悲伤，反思人工智能对人类智力与自我价值的冲击。
回顾1976年Appel与Haken借助计算机证明四色定理的历史时刻，以及数学界从接受、质疑到否认的激烈反应，引出'机器首次超越人类数学家'的思考。
文章抱怨AI实验室在利用数学家验证AI生成的定理和证明，却不提供相应的免费API token资源，呼吁实验室为数学验证工作提供支持。
A report claims AI systems have solved roughly 90 of the 500 most important open problems in mathematics, with a leading mathematician calling it the most significant moment in mathematical history.
Mathematician Christian Szegedy publishes a reflective essay arguing that mathematics may not be ending, but rather 'graduating' into a new era shaped by AI, using analogies about exploration, competitions, and the structure of the field to frame the future of the discipline.
A commentary on the rapidly changing field of AI for mathematics, mapping mathematicians' varied reactions — denial, anger, bargaining and acceptance — to recent advances such as OpenAI's internal models reportedly solving hard problems.
Top mathematicians have signed an open letter expressing extreme concern about a 10% chance of human extinction this decade, warning that this risk should not be dismissed as hype and that delay in action could be irreversible.
Mathematicians express concern that regulatory measures for artificial intelligence might be implemented too slowly to prevent negative consequences for humanity.
Over 150 mathematicians signed a declaration warning governments against overestimating AI capabilities, citing exaggerated claims by companies like OpenAI and urging regulation of AI in sensitive areas.
Mathematicians issue a warning as artificial intelligence continues to rapidly advance, raising concerns about potential risks and ethical implications.