Related papers: On Mathematical Symbols in China
To thoroughly assess the mathematical reasoning abilities of Large Language Models (LLMs), we need to carefully curate evaluation datasets covering diverse mathematical concepts and mathematical problems at different difficulty levels. In…
We give an overview of our philosophy of pictures in mathematics. We emphasize a bi-directional process between picture language and mathematical concepts: abstraction and simulation. This motivates a program to understand different…
We describe and explain the desire, common among mathematicians, both for unity and independence in its major themes. In the dialogue that follows, we express our spontaneous and considered judgment and reservations by contrasting the…
A new generation of educational mathematics software is being shaped in ThEdu and other academic communities on the side of computer mathematics. Respective concepts and technologies have been clarified to an extent, which calls for…
Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to…
Many have wondered how mathematics, which appears to be the result of both human creativity and human discovery, can possibly exhibit the degree of success and seemingly-universal applicability to quantifying the physical world as…
Chinese font generation aims to create a new Chinese font library based on some reference samples. It is a topic of great concern to many font designers and typographers. Over the past years, with the rapid development of deep learning…
Present day mathematics is a human construct, where computers are used more and more but do not play a creative role. This situation may change however: computers may become creative, and since they function very differently from the human…
The objective of this article is to stimulate discussions in mathematical society about the role of mathematical departments in the life of the community. University community is the center of knowledge and promotes the intellectual…
China has become the fifth leading nation in terms of its share of the world's scientific publications. The citation rate of papers with a Chinese address for the corresponding author also exhibits exponential growth. More specifically,…
"Is math useful?" might sound as a trick question. And it is. Of course math is useful, we live in a data-filled world and every aspect of life is totally entwined with math applications, both trivial and subtle applications, of both basic…
The formation and development of the human person is most influenced by the environment in which it lives, studies, works. Therefore, the problem of the creation of such a high-tech information and communication educational and scientific…
Recent advances in computing have changed not only the nature of mathematical computation, but mathematical proof and inquiry itself. While artificial intelligence and formalized mathematics have been the major topics of this conversation,…
While the ``hierarchy of science'' has been widely analysed, there is no corresponding study of the status of subfields within a given scientific field. We use bibliometric data to show that subfields of mathematics have a different…
In recent years, promising mathematical models have been suggested which aim to describe conscious experience and its relation to the physical domain. Whereas the axioms and metaphysical ideas of these theories have been carefully…
This article provides a historical overview of Geometry of Numbers. 1. Figures, 2. The circuit problem and its relatives, 3. Minkowski lattice point set, 4. The young Hermann Minkowski, 5. The geometry of numbers develops, 6. Minkowski…
One of the outstanding problems of philosophy of science and mathematics today is whether there is just "one" unique mathematics or the same can be bifurcated into "pure" and "applied" categories. A novel solution for this problem is…
Artificial Intelligence (AI), a cornerstone of 21st-century technology, has seen remarkable growth in China. In this paper, we examine China's AI development process, demonstrating that it is characterized by rapid learning and…
We claim that human mathematics is only a limited part of the consequences of the chosen basic axioms. Properly human mathematics varies with time but appears to have universal features which we try to analyze. In particular the functioning…
AI for Mathematics (AI4Math) has emerged as a distinct field that leverages machine learning to navigate mathematical landscapes historically intractable for early symbolic systems. While mid-20th-century symbolic approaches successfully…