Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
arxiv.org/abs/2605.28365
Sep 21, 2026
11
Update on XTX Markets' AI for Maths Philanthropy
www.xtxmarkets.com/news/2026-update-on-xtx-markets-ai-philanthropy/
Sep 20, 2026
Formalizing Fermat's Last Theorem
www.anthropic.com/research/formalizing-fermats-last-theorem
Sep 16, 2026
2
Superintelligent Cellular Automata
markkim.bearblog.dev/superintelligent-cellular-automata/
Sep 15, 2026
2
A beginning for mathematics · Daniel Litt
www.daniellitt.com/blog/2026/9/13/a-beginning-for-mathematics/
Sep 14, 2026
2
Afterimage (@afterimage) / X
x.com/afterimage
Sep 11, 2026
11
Tailin Wu (@tailin_wu) / X
x.com/tailin_wu
Sep 10, 2026
11
All You Need to Know About Allometric Scaling: An Integrative Review on the Theoretical Basis, Empirical Evidence, and Application in Human Pharmacology - PMC
pmc.ncbi.nlm.nih.gov/articles/PMC11782306/
Sep 9, 2026
1
An Alien Mind
openai.com/index/an-alien-mind/
Sep 7, 2026
2
Letter #89: Ian McKinnon (2018)
aletteraday.substack.com/p/letter-87-ian-mckinnon-2018
Sep 1, 2026
2
Wanli Cheng, PhD Student | Faculty of Computing & Data Sciences
www.bu.edu/cds-faculty/profile/wanli-cheng/
Aug 30, 2026
11
AI Program Plays the Long Game to Solve Decades-Old Math Problems
www.caltech.edu/about/news/ai-program-plays-the-long-game-to-solve-decades-old-math-problems
Aug 30, 2026
1
Ellen Vitercik
vitercik.github.io/
Aug 29, 2026
11
Kunhao Zheng (@KunhaoZ) / X
x.com/KunhaoZ/
Aug 28, 2026
11
Apodex: About | LinkedIn
www.linkedin.com/company/apodex/about/
Aug 28, 2026
11
Lucas Liebenwein (@LLiebenwein) / X
x.com/LLiebenwein
Aug 28, 2026
11
MATH-AI
mathai-2026.github.io/cfp/
Aug 28, 2026
1
笈川伊織（表） (@Iori_Oikawa) / X
x.com/iori_oikawa
Aug 27, 2026
11
Chuyue (Livia) Sun (@chuyue_sun) / X
x.com/chuyue_sun
Aug 27, 2026
11
jyegerlehner - Overview
github.com/jyegerlehner
Aug 26, 2026
11
(1) Jui-Hui Chung (@juihuichung) / X
x.com/juihuichung
Aug 26, 2026
11
Jui-Hui Chung 鍾瑞輝
web.math.princeton.edu/~jc1220/
Aug 26, 2026
2 · Beat a benchmark | humanize
docs.humanfia.ai/humanize2/tutorials/take-home
Aug 25, 2026
1
Inside Rubin + Groq 3 LPU architecture · Issue #9 · zartbot/blog
github.com/zartbot/blog/issues/9
Aug 24, 2026
42
Zartbot (@zartbotF) / X
x.com/zartbotF
Aug 24, 2026
11
Armin Ronacher ⇌ (@mitsuhiko) / X
x.com/mitsuhiko
Aug 24, 2026
11
Introducing talkie: a 13B vintage language model from 1930
talkie-lm.com/introducing-talkie
Aug 21, 2026
31
Charles Arnal
charlesarnal.github.io/
Aug 19, 2026
1
openbmb/FormalVerse · Datasets at Hugging Face
huggingface.co/datasets/openbmb/FormalVerse
Aug 19, 2026
11
Tristan Hume (@trishume) / X
x.com/trishume
Aug 18, 2026
11