Google DeepMind Formal Conjectures

4 hours ago 1

Check out the main Formal Conjectures GitHub repository for more details.

This page provides an overview of the problem categories and subject classifications used within the project. For a more detailed explanation of these categories and the AMS subject classifications, please refer to the explanation of features in the project's README.

Problem Category Statistics

(note the links above use GitHub search, and so require logging into GitHub)

Subject Category Statistics

Count AMS # Subject

439	11	Number theory
145	05	Combinatorics
34	14	Algebraic geometry
29	12	Field theory and polynomials
28	33	Special functions
15	16	Associative rings and algebras
14	20	Group theory and generalizations
13	51	Geometry
8	03	Mathematical logic and foundations
7	37	Dynamical systems and ergodic theory
6	15	Linear and multilinear algebra; matrix theory
6	68	Computer science
6	30	Functions of a complex variable
6	13	Commutative algebra
5	52	Convex and discrete geometry
5	08	General algebraic systems
4	26	Real functions
3	42	Harmonic analysis on Euclidean spaces
3	40	Sequences, series, summability
1	60	Probability theory and stochastic processes
1	54	General topology
1	06	Order, lattices, ordered algebraic structures
1	81	Quantum theory
1	41	Approximations and expansions