wisemotif

Here are 4 public repositories matching this topic...

AlienMuse / grothendiecklab

The official site of Grothendieck Lab (WiseMotif.ai) and of the Grothendieckian Programme: the overview and the seven works, the method, the machine, the open problems.

github-pages mathematics artificial-intelligence topos-theory grothendieck machine-reasoning ai-for-math grothendieckian-programme wisemotif grothendieckian-machine grothendieck-lab

Updated Oct 29, 2026
HTML

AlienMuse / AlienMuse

Star

Profile of Vincent Liu (WiseMotif.ai): mathematics and machine reasoning — The Grothendieckian Programme, Series 00–07.

mathematics artificial-intelligence grothendieck machine-reasoning ai-for-math grothendieckian-programme wisemotif grothendieckian-machine

Updated Oct 29, 2026

AlienMuse / alienmuse.github.io

Star

The website of Vincent Liu (WiseMotif.ai): The Grothendieckian Programme, Series 00–07 of the WiseMotif Monograph of Mathematical Intelligence — the overview and the seven works, with their DOIs.

github-pages personal-website mathematics artificial-intelligence topos-theory grothendieck machine-reasoning ai-for-math grothendieckian-programme wisemotif grothendieckian-machine

Updated Oct 29, 2026
HTML

AlienMuse / grothendieckian-problems

Star

Three papers on the Grothendieckian Programme — an overview, twelve theses and 57 open problems for mathematics and machine reasoning, with problem cards, problems.json and Lean statements. Take 57.

Updated Oct 29, 2026
Python

Add this topic to your repo

To associate your repository with the wisemotif topic, visit your repo's landing page and select "manage topics."

Learn more