2026-06-02 14:38 UTC
Replies (7)
-
@tao@mathstodon.xyz 2026-06-02 14:38
I am very impressed by the final product, which has been refined extensively over the last few months, and endorse it wholeheartedly. Many of the points made in the declaration have also been made elsewhere -- my own writings and talks often touch on some subset of these, for instance -- but having them all assembled coherently in one document adds significant additional value. I urge everyone in the field to read the declaration, and consider signing it (I myself have already signed). All the recommendations in the declaration are excellent, but I will highlight "Participate in public discourse". Perhaps notoriously, practicing mathematicians have a tendency to focus more on technical mathematical tasks, such as solving open problems, than on communicating the purposes of such technical work to the broader public. So long as we had a near-monopoly on the ability to accomplish these tasks, we could have this luxury of only discussing "safe" technical topics in public; but in the new era of "proof abundance", it is increasingly important that we also debate the "soft" aspects of our field, such as our goals and values. See also the previous announcement https://arxiv.org/abs/2603.24914 by Commelin et al. of the Leiden declaration from March of this year. (2/2) EDIT: See also the New York Times article https://www.nytimes.com/2026/06/02/science/ai-mathematics-leiden-declaration.html
-
@ehmatthes@fosstodon.org 2026-06-02 15:15
@tao@mathstodon.xyz Yes yes yes, except that in the current US environment that regulation would probably protect the interests of commercial AI companies from citizens rather than the other way around. :/
-
@rowat_c@mastodon.social 2026-06-02 23:33
@tao@mathstodon.xyz prior to financial deregulation in the UK in the 1980s ("Big Bang"), lore (implicit knowledge?) has it that the governor of the Bank of England regulated banks over a monthly breakfast. Having all been to the same schools, they knew what that raising of his eyebrows meant. After Big Bang, though, Deutsche Bank, Nomura... didn't know how to read his eyebrows, so explicit banking regulation was needed.
-
@Ale_xia1979@mathstodon.xyz 2026-06-08 02:34
@tao@mathstodon.xyz Nicola Arcozzi University of Bologna | June 2, 2026 I choose to sign, yet I have one reservation. The statement in the manifesto that "Mathematical arguments ought to be open, transparent and independently verifiable; even if the derivations are complex and lengthy, they can in principle be understood without proprietary technology or equipment" may become a thing of the past. Researchers should still root themselves in the human community and strive to explain their research thoroughly and clearly.
-
@Ale_xia1979@mathstodon.xyz 2026-06-08 02:51
@tao@mathstodon.xyz Some literature content that differs from mainstream perceptions.Twenty years ago, I conducted research on the principles of intelligence, AI Go algorithms, and the ethics of general intelligence at Nanjing Normal University in China.
-
@Ale_xia1979@mathstodon.xyz 2026-06-08 03:01
@tao@mathstodon.xyz Time | Event | Core Idea 1996 | Graduated from university before turning 18 and worked as a migrant worker for nearly a decade | Intuitively recognized the importance of order from real life and established a belief in Platonism 2006-2009 | Pursued a Master's degree in Ethics at Nanjing Normal University | Finalized the outline of his ideological system, and put forward three logical criteria, the differences between Kant's two versions of Deduction, and Galois methodology May 17, 2010 | Wrote a letter to Professor Zhang Jianjun | Combined the foundations of mathematics with situation semantics, and proposed a research program to explore the critical point between context-sensitive and context-insensitive models December 2015 | Released a Go algorithm framework | Applied theories to practical problems, predicted that Go AI could reach the professional 9-dan level, and proposed a hybrid architecture of "mathematical theorems + statistical learning" 2010-2026 | Conducted in-depth research on the Riemann Hypothesis | Discovered that the reflection symmetry of the Gamma function is the origin of measure emergence, and proposed the Gamma-inversion semantic operator 2026 | Applied the Gamma-inversion operator to large language models | Fundamentally solved the hallucination and divergence problems of large models, and paved the way toward AGI.
-
@Ale_xia1979@mathstodon.xyz 2026-06-08 03:33
@tao@mathstodon.xyz Riemann Hypothesis——chatgpt's reply on my view.