Un vortice di intelligenza artificiale sulla matematica mondiale

Un vortice di intelligenza artificiale sulla matematica mondiale
Editoriale di Sisto Baldo sull’annuncio di OpenAi, che sostiene di aver risolto la questione di Navier-Stokes, uno dei problemi matematici del millennio

> Su openai.com/it-IT/index/navier-stokes-solution/ articolo con la dimostrazione di Eulero e la formalizzazione in Lean

Fare matematica.
+	Insiemistica e insieme N. Set theory and Natural Numbers.
Sistemi di numerazione.
+	Sistemi di numerazione. Number Systems.
Operazioni fondamentali.
+	Operazioni fondamentali. Operations.
+	Espressioni aritmetiche. Arithmetic Expressions.
+	Elevamento a potenza. Exponentiation and Radix.
+	Radice e logaritmo. Roots & Logarithm.
Problemi aritmetici.
+	Problemi aritmetici. Arithmetic problems.
Divisibilità
+	Multipli, divisori e n. primi. MCD e mcm. Divisibility.
Frazioni e numeri razionali.
+	Frazioni e numeri razionali. Fractions and rational numbers.
Numeri razionali e irrazionali.
+	Numeri razionali. Rational numbers.
+	Irrazionali, log e radici. Irrationals, log and roots.
Rapporti e proporzioni.
+	Rapporti e proporzioni. Ratio and proportio.
+	Proporzionalità e applicazioni. Proportionality.
+	Scale di rappresentazione. Linear scale and graphic scale.

Argomenti di algebra.
+	Numeri relativi. Relative numbers.
+	Calcolo letterale. Polynomials.
+	Equazioni. Equation.
+	Sistemi lineari (equazioni di primo grado). System of linear equations.
+	Disequazioni. Disequation.
Geometria analitica.
+	Geometria analitica. Analytic geometry.
Rappresentazioni grafiche, statistica e probabilità.
+	Rappresentazioni grafiche. Charts and Diagrams.
+	Statistica. Statistics.
+	Probabilità. Probability.
Logica
+	Logica. Math Logic.

Geometria piana.
+	La misura e il Sistema SI. Measurements. Units and systems.
+	Enti fondamentali. Basic geometry.
+	Angoli. Angles.
+	Misure di tempo. Time measures.
+	Poligoni. Polygon.
+	Triangoli. Triangle.
+	Quadrilateri. Quadrilateral.
+	Equivalenza e aree dei poligoni. Area.
+	Teorema di Pitagora. Pythagorean theorem.
+	Omotetia, similitudine e teoremi Euclide. Similitude and Euclide's Theorem.
+	Cerchio e circonferenza. Circle and Circumference.
+	Poligoni inscritti e circoscritti. Incircle e Circumcircle a Polygon.
+	Scala di rappresentazione. Scale.
+	Geometria solida. 3D Geometry.
Geometria analitica.
+	Geometria analitica. Analitic Geometry.
Tavole numeriche e formulari di geometria.
+	Tavole aritmetiche e formulari di geometria. Tables and geometric formulas.

Matematica d'autore