







Open-source introduction to mathematics
Pauls Online Math Notes
Welcome to my math notes site. Contained in this site are the notes (free and downloadable) that I use to teach Algebra, Calculus (I, II and III) as well as Differential Equations at Lamar University. The notes contain the usual topics that are taught in those courses as well as a few extra topics that I decided to include just because I wanted to. There are also a set of practice problems, with full solutions, to all of the classes except Differential Equations. In addition there is also a selection of cheat sheets available for download.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.

Regnestykker
Sheets with calculus exercises suitable for kids that are learning the first basic arithmetic operations.
My Ongoing Review of MathAcademy.com - Updated 7/18/24
I wasn't able to find many reviews for Math Academy, so I thought I'd start keeping a log of our experiences. Background: DS1 Algebra 1: AOPS (first half of book) Geometry: first half of Jacob's (2nd ed.), ch 5-12 from Derek Owens, two chapters from Thinkwell Algebra 2: Foerster Precalc: Derek Ow...


GitHub - janaagaard75/calculus-exercises: Sheets with calculus exercises suitable for kids that are learning the first basic arithmetic operations.
Sheets with calculus exercises suitable for kids that are learning the first basic arithmetic operations. - janaagaard75/calculus-exercises
Przemek Chojecki | PC on Twitter / X
The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

About - Project Euler
A website dedicated to the fascinating world of mathematics and programming
Formalising mathematics: an introduction.
An introduction to the TCC course “Formalising Mathematics”

Emily Riehl Makes Infinity Categories Elementary
Math Academy, part 1: My eigenvector embarassment
I start a series of posts on Math Academy and its system for learning mathematics.
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

Daron Acemoglu on Twitter / X
I recommend Columbia mathematician Michael Harris’s wide-ranging, informative and thought-provoking essay in Boston Review on AI and mathematics:https://t.co/txwAd8ri4xHarris rightly worries about the possible negative effects of AI-generated proofs and mathematics on…— Daron Acemoglu (@DAcemogluMIT) June 16, 2026
Computational Geometry in C (Second Edition)
Homepage for textbook on Computational Geometry
OpenAI just blooped hundreds of proofs and counterexamples to open problems: github.com/openai/math/tree/main/preprin… Boggling.
math/preprints at main · openai/math
github.com