3-manifold

{tag=Hulse-Taylor pulsar}
{title2=Fractional quantum Hall effect for $\nu = 1/m$}


1993 Nobel Prize in Physics

Lean Mathlib

{disambiguate=Lean book}

https://leanprover-community.github.io/logic_and_proof/index.html


Logic and Proof

Logic and Proof (Lean book)

https://djvelleman.github.io/HTPIwL

This tutorial has the merit of actually trying you to do some meaningful mathematics before teaching you a billion items of syntax and dependent type theory nuances.


How To Prove It with Lean 

University knowledge olympiad

Online poll

Inverse problem

It is quite <the beauty of mathematics> beautiful that with exponentiation, even if you take relatively small numbers of the order of 100 then:
$$
2^{265}
$$
is already equal to the number of atoms in the universe.


Exponentiation grows really fast

Hiring

{c}
{title2=2010}
{wiki}

All competitors run on the same hardware which is cool. One of their challenges then would be how to balance <CPU> and <GPU>, given that as of 2025 <Stockfish> uses <CPU> and <Leela Chess Zero> uses <GPU>.


Top Chess Engine Championship

AI code generation company

Manifold by dimension

{c}

https://reflection.ai/
> Building Frontier Open Intelligence


Reflection AI

Lean library

Lean bibliography

{c}

* https://proofassistants.stackexchange.com/questions/153/what-are-the-main-differences-between-coq-and-lean
* https://news.ycombinator.com/item?id=22171305


Ciro Santilli @cirosantilli 40