AI Mathematics

\(

\def\cuberoot#1{\sqrt[3]{#1}} \def\fourthroot#1{\sqrt[4]{#1}}

\def\abspartial#1#2#3#4{\left|\,{\partial(#1,#2)\over\partial(#3,#4)}\,\right|} \def\absdeltal#1#2#3#4{\left|\,{\d(#1,#2)\over\d(#3,#4)}\,\right|} \def\dispop#1#2{\disfrac{\partial #1}{\partial #2}}

\def\definedas{\equiv}

\def\bb{{\bf b}} \def\bB{{\bf B}} \def\bsigma{\boldsymbol{\sigma}} \def\bx{{\bf x}} \def\bu{{\bf u}}

\def\Re{{\rm Re\hskip1pt}} \def\Reals{{\mathbb R\hskip1pt}} \def\Integers{{\mathbb Z\hskip1pt}} \def\Naturals{{\mathbb N\hskip1pt}} \def\Im{{\rm Im\hskip1pt}} \def\P{\mbox{P}}

\def\half{{\textstyle{1\over 2}}} \def\third{{\textstyle{1\over3}}} \def\fourth{{\textstyle{1\over 4}}} \def\fifth{{\scriptstyle{1\over 5}}} \def\sixth{{\textstyle{1\over 6}}}

\def\oA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obX{\rlap{$X$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obY{\rlap{$Y$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obZ{\rlap{$Z$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}

\def\obc{\rlap{$c$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obd{\rlap{$d$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obk{\rlap{$k$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\oba{\rlap{$a$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt} \def\obb{\rlap{$b$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}

\def\obw{\rlap{$w$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}

\def\obz{\overline{z}}\kern.5pt}

\newcommand{\bx}{\boldsymbol{x}} \newcommand{\by}{\boldsymbol{y}}

\newcommand{\br}{\boldsymbol{r}} \renewcommand{\bk}{\boldsymbol{k}}

\def\cuberoot#1{\sqrt[3]{#1}} \def\fourthroot#1{\sqrt[4]{#1}} \def\fifthroot#1{\sqrt[5]{#1}} \def\eighthroot#1{\sqrt[8]{#1}} \def\twelfthroot#1{\sqrt[12]{#1}}

\def\dis{\displaystyle} %\def\definedas{\equiv}

\def\bq{{\bf q}} \def\bp{{\bf p}}

\def\abs#1{\left|\,#1\,\right|} \def\disfrac#1#2{{\displaystyle #1\over\displaystyle #2}}

\def\select#1{ \langle\, #1 \,\rangle } \def\autoselect#1{ \left\langle\, #1 \,\right\rangle }

\def\bigselect#1{ \big\langle\, #1 \,\big\rangle }

\renewcommand{\ba}{\boldsymbol{a}} \renewcommand{\bb}{\boldsymbol{b}} \newcommand{\bc}{\boldsymbol{c}} \newcommand{\bh}{\boldsymbol{h}} \newcommand{\bA}{\boldsymbol{A}} \newcommand{\bB}{\boldsymbol{B}} \newcommand{\bC}{\boldsymbol{C}} \newcommand{\definedas}{\equiv} \newcommand{\half}{\frac{1}{2}}

%\newcommand{\slfrac}[2]{\raisebox{0.5pt}{$\scriptstyle{}^{#1}\!/\!_{#2}$}} \def\slfrac#1#2{\raise.8ex\hbox{$\scriptstyle#1$}\!/\!\lower.5ex\hbox{$\scriptstyle#2$}}

\newcommand{\bsigma}{\boldsymbol \sigma} \newcommand{\abs}[1]{\left|\,#1\,\right|} \newcommand{\Rectangle}{\sqsubset\!\sqsupset}

\newcommand{\rectangle}{{% \ooalign{$\sqsubset\mkern3mu$\cr$\mkern3mu\sqsupset$\cr}%

% How to do fractions: for 1/2 use this in place: $\raise{0.8pt}{\scriptstyle{}^{1}\!/\!_{2}}$ % for n/m use this in place: $\raise{0.8pt}{\scriptstyle{}^{n}\!/\!_{m}}$

}}

\)

AI Mathematics chats

This page contains the Mathematics portion of the AI chats.
My own knowledge of mathematics is still a work in progress.



Hyperlinked Categories:



Note: When I first started to review the reasoning capabilities of LLMs, I spent much time trying to evaluate if they are capable of 'real reasoning' on the level of a human being. After a while I became convinced that they are capable of human-level reasoning, so I stopped commenting on this fact. (When I'm not being precise, I may slip into the mode of interchanging 'thinking' with 'reasoning'. Technically, this is a mistake. Thinking is everything, both physical and abstract, that goes into reasoning, whether of a biological entity or of a machine. Reasoning is the ability to construct logical arguments that can be written down on paper and examined logically.)



###### Urgent Matters #####

Comma Category As Input-Response for Post

If Copilot is correct, this application of the comma category will have pervasive applications to a huge assortment of dynamical systems, from quantum mechanics to chemical analysis to engineering control theory. We await for the experts to let us know. The AI experts should look at this, too, because if Copilot is right, it means a huge advance in the ability of LLMs to do novel mathematics. For further development on this topic, see The Secret AI Code.

###### AI Assisted Mathematics #####

Yang-Hui He and AI Assisted Mathematics

And, by the way, where is Copilot in this competition?

Lack of Reviewers, Uncertain_Foundations, Proof_Assistants to the Rescue?

Maybe proof flowcharting will help.


###### Math Special Programs for Competitions and Summer Schools #####

SUMaC, PROMYS, and Ross summer school programs for high-schoolers.

How about we foster to have even more of these schools?


###### The Langlands Program #####

Dirichlet Characters, Moduli Spaces, Langlands Bridge

Sometimes you have to play the long shot.

Geometric Langlands Theory

Is it misguided name appropriation or fair use? It's controversial.

The Gamma Function, analytic number theory, and relations to the Langlands Program.

The Laplace transform as a sort of baby Langland's program of unification.

What do BingChat and ChatGPT have to say about this claim of mine?


###### Algebraic Geometry #####

Geometric Calculus as a Foundation to Algebraic Geometry.

On a lark, I asked Copilot if anyone had managed to construct algebraic geometry (AG) on top of geometric calculus (GC), to which I was told that it didn't happen and presented certain reasons why they are incompatible. However, as I am very ignorant of AG, I decided to brainstorm with Copilot some compromises between them that might bring the two closer to a real combination. So, after Copilot explained why the "obvious" possibilities wouldn't work, it then provided some ideas on what might work. Interesting stuff. Maybe there's something in it worth looking at. The best chances seem to fall on Plücker coordinates.


###### Category Theory #####

Geometric Calculus and Category Theory.

A categorical definition of a group.


ChatGPT and I hash out the subtleties of how
to define a monoid/group using a category with only one object.

Presheaves and opposite functions in Setop.

Is Category theory mathematics?

ChatGPT and I consider the question if category
theory is mathematics. Doing so, I present a definition of mathematics to resolve
the question. Is it true that statistics and chess are also considered as mathematics?
That will depend on the definition of mathematics one accepts.

Peter J. Freyd topos theory.

Contributions to topos theory and category theory.

Category Theory, Free Groups, and Universal Properties.


I asked ChatGPT to confirm or reject my suspicion that in category theory the existence of natural transformations cannot be taken for granted:

Category Theory, natural transformations existence.


I asked BingChat what the relation between graph theory and category theory:

Graph theory vs category theory.


I asked BingChat what it thinks about Serge Lang's comment on functoriality:

Serge Lang Functoriality.


ChatGPT and I discuss the possible use of category theory in re-founding mathematics on it rather than on set theory:

Category theory vs set theory.


ChatGPT, BingChat, and I discuss the category theory topic of presheaves and how it forces us to confront
what we mean by a morphism in Cop.


Defining The Terminal Initial Object

by use of a functor.

The Purpose of the Terminal Morphism.

Defining Commutative and Path Independent Diagrams.

Natural Transformations and the Yoneda Lemma

A didactic discussion.

Why Categorical Morphisms are defined as they are.

I asked ChatGPT to explain to me why in the category of Set a function can exist from the empty set to another set.

A function from the empty set?


What is the 'data of a functor'?

I asked ChatGPT to explain to what is meant by the 'data of a functor'.

###### Complex Analysis #####

Poles and Zeros of Complex Functions in Physics and Engineering

.

###### Topology #####

What are sheaves?

###### Differential Geometry #####

Fibers and Sections

as seen from a general perspective.


###### Lie Algebras #####

The difficulty of Classifying Lie Algebras.

###### Mathematical Physics #####

Moduli Spaces: A key to advanced mathematical physics.

Math Related to String Theory.


###### Differential Equations #####

Chatting with Copilot about Isotropic Spinors.

Mostly about 2nd-order linear differential equations, From Abel's formula,
Variation of parameters to Sturm-Liouville equations to Green's functions.

###### Quantum Mechanics #####

Quantum Computing With Isotropic Spinors.

After explaining to me why qunbatum computers don't do much to impact the P vs NP question
it went on to suggest many ways to use Isotropic Spinors to do Quantum Computing.

Hilbert Spaces and Self-Adjoint Operators.

Second-order linear differential equations, and Hermitian operators.

###### Millennium Problems #####

Vibing with Copilot on the Navier-Stokes Millennium Problem

I ask naive and intuitive questions in hopes for getting back from Copilot something interesting to consider.

Seminars for Math Majors on Millennium Problems

Turing complete fluids in physical computation.

P-vs-NP Millennium Problem.

The Traveling Salesman Problem. Ladner's theorem. Slime molds find their own
means to deal with the Traveling Salesman Problem.

The Clay Mathematics Institute and Updating the Millennium Prizes every 25 years.

###### Special Functions #####

Copilot and the Complex Error Function for an Integral.

LLMs vs the Lambert W Function

BingChat and ChatGPT attempt to perform a proof within the domain of the Lambert W Function.

Power Series on Lambert W Functions

The infinite number of indexed values to the Lambert Function $W_n(A)$ for $n\in \mathbb{Z}_{n\ge0}$ are used
to construct two power series, which Copilot analyzes and suggests lines of further development.

BingChat Proved a Lemma for me

BingChat proved a lemma for me about the Lambert W Function. (See page 5.) [This is an
old chat. BingChat is now Copilot.]

###### Group Theory #####

Viewing Groups as Symmetries of some 'object'.

How the development of the analysis of the Monster Group was benefited by the mathematical results of string theory in physics.

Conformal field theories and vertex algebras.

All finite groups are Linear

A result from representation theory.

How Are Group Classifications Invented?

Galois theory beyond the quintic problem

Evariste Galois was a French mathematician who has the honor of introducing the constructs known
as a 'group' and 'Galois theory'. His particular interest at that time was in proving that the quintic
equation (a polynomial equation of degree 5 in one variable) has no general solution in terms of the
four basic operations of addition, subtraction, multiplication, and division, and the extraction of roots.
Since there are such general solutions (formulas) for first- to fourth-order equations, mathematicians
thought there might be for the quintic as well. However, my interest in querying ChatGPT 3.5 was
to seek for applications of Galois theory beyond that of the quintic problem. By the way, Galois'
proof was not the first but it has shown to be the most profound in its further influence in mathematics.
And that's what I'm curious about.

Commenting Reductive Algebraic Groups

I asked Copilot to comment on Reductive Algebraic Groups: Quantum Groups.

###### Philosophy, Foundations, and Controversies #####

Three challengers to ZFC: Category Theory, HoTT, and Topos Theory.


How is dependent type theory derived from the Lambda Calculus?


Principle Mathematical Induction: base case and ordinal numbers.


The Mystery of Contemporary Mathematics vs the Safety of Descrete Math.

The problem of infinities in mathematics and physics, and what to do about them.
Feat. Sabine Hossenfelder, Eugene Wigner, and certain Biblical figures.
Also, Ultralfinistism and the Sorites Paradox.

Terence Tao, Einstein, James Burke, and Liminality.

The mystery of jumping the gap between not understanding and understanding.
James Burke was the host of the science and technology series Connections.

###### Complex Numbers #####

The Hyperbolic Plane and Complex Numbers.

Similarity of Poincare Lemma and Complex Analyticity.

Marvels of the Cauchy-Riemann equations.

###### Miscellaneous #####

Paris leads the world in Mathematics.

Commenting on tutoring rates

I asked Copilot to comment on a novel tutoring rate that was quite mathematical.

The 2D Spaces We Love to Hate: E2, R2, RP2 spaces.

A compare and contrast essay.

###### Set Theory #####

Continuum Hypothesis, Set Theory, ZFC, Godel, Cohen, Hyperreals, Riemann

Copilot and I discuss the subtleties of the continuum hypothesis
and much more.

Functions Defined on a Set

A lot can be learn about a set from the functions defined on it.

###### Number Theory #####

Homogeneous Solutions to Diophantine Equations.

###### AbstractAlgebra #####

Emmy Noether and the Short Exact Sequence.

ChatGPT claimed that Emmy Noether invented the concept of the 'short exact sequence'
(a notion from abstract algebra), but I have not as yet been able to confirm or reject
the claim. Nevertheless, this article has some interesting information about Noether.

Direct Product vs Direct Sum

I asked ChatGPT-4o and Copilot to help me understand these confusing concepts.

Definition of abstract algebra

Maybe we should refer to it as either "abstract structures" or "algebroids."

The many uses of the Short Exact Sequence.

ChatGPT Proved a Lemma for me

It proved that Function composition is associative. (It also did some LaTeX translation.)

###### Ring Theory #####

The Mathematical Concept of the Convolution.

There are defining rules that need to be applied to what we call a 'convolution' and these rules look like those
of a linear commutative algebra (ring).

Rings and Ideals Theory

I asked ChatGPT3.5 to suggest some topics beyond subrings, ideals, and quotient rings.

The 'Split Rational Numbers'

I asked ChatGPT4 to comment on my defining a known ring extension as the 'Split Rational Numbers'.

The Followup to the 'Split Rational Numbers'

I asked ChatGPT4 to comment on my defining a general definition of ring extensions as the 'Split X Numbers', where X is some given ring.

The problem with the PID definition.

(A PID is a principal ideal domain of ring theory) It lies in the two versions of the definition of integral domain.

###### Functional Analysis #####

What Is A Banach Space?

And how does it relate to a Hilbert space?

###### Probability Theory #####

Probability, Subjectivity, Independence, Jaynes, and, Hestenes.

What do we really mean by event independence?

###### Conformal Geometry #####

Conformal Invariants, Weyl Tensor.

What do we really mean by curvature?

###### Calculus #####

ChatGPT Explains the Total Derivative

In physics literature the notion of a total derivative being the sum of the implicit
derivative and the explicit derivative is well known and accepted, largely because to a physicist,
these latter two derivatives have profound differences in meaning. However, in mathematical literature,
the distinction is not often described in those terms. So, I wanted to know where my two favorite
bots aligned on the subject. First, I asked BingChat to explain it, but it didn't even know what I was
talking about, because it interpreted it as a derivative distributing over a sum. However, ChatGPT
not only knew what I was talking about, it was able to demonstrate when asked to do so.

###### Linear Algebra #####

Solving Linear Systems of Equations

BingChat and ChatGPT attempt to solve linear systems of equations, with mixed results.


###### College Algebra #####

ChatGPT solves a word problem.