LINKED LIST
[txt mode]
▸
Declaration — Math and AI
home
explore
|
log in
Declaration — Math and AI
mathandai.org · first added by
@rickr
· 2026-09-30 · 1 upvotes
log in
to save, upvote or flag this.
─── In 0 lists ─────────────────────────────────────────
(not in any lists yet)
related read on:
*
https://openai.com/index/advisory-group-on-mathematics-and-ai/
(from the discussion)
─── Discussions ────────────────────────────────────────
*
A misalignment of AI in mathematics
1242 pts · 1215 comments ·
node
─── From the discussion ────────────────────────────────
*
Terence Tao (@tao@mathstodon.xyz)
mathstodon.xyz ·
node
*
A Severe Misalignment of AI in Mathematics
terrytao.wordpress.com ·
node
*
Daniel Litt | Working with LLMs to do high quality math
youtube.com ·
node
*
Terence Tao: SAIR Competitions and the Future of Experimental Mathematics
m.youtube.com ·
node
*
No Title
www-formal.stanford.edu ·
node
─── Related hn threads ─────────────────────────────────
*
Navier-Stokes – Tristan Buckmaster [pdf]
2054 pts · 827 comments ·
node
*
A Misalignment of AI in Mathematics
151 pts · 10 comments ·
node
*
More questions about whether researchers can trust OpenAI with unpublished math
868 pts · 817 comments ·
node
*
AI "Proves" Collatz Conjecture with Lean 4 Bug
14 pts · 5 comments ·
node