login sign up

Declaration — Math and AI

mathandai.org · first added by @rickr
saved by
1 person
related read on
https://openai.com/index/advisory-group-on-mathematics-an... from the discussion
discussions · 1
A misalignment of AI in mathematics 1242 pts · 1215 comments · Sep 2026 1242 pts · 1215 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 5
Terence Tao (@tao@mathstodon.xyz) mathstodon.xyz mathstodon.xyz
1 person saved or upvoted this
A Severe Misalignment of AI in Mathematics terrytao.wordpress.com terrytao.wordpress.com
0 people saved or upvoted this
Daniel Litt | Working with LLMs to do high quality math youtube.com youtube.com
0 people saved or upvoted this
Terence Tao: SAIR Competitions and the Future of Experimental Mathematics m.youtube.com m.youtube.com
0 people saved or upvoted this
No Title www-formal.stanford.edu www-formal.stanford.edu
0 people saved or upvoted this
related HN threads · 4
Navier-Stokes – Tristan Buckmaster [pdf] 2054 pts · 827 comments · Sep 2026 2054 pts · 827 comments · Sep 2026
0 people saved or upvoted this
A Misalignment of AI in Mathematics 151 pts · 10 comments · Sep 2026 151 pts · 10 comments · Sep 2026
0 people saved or upvoted this
More questions about whether researchers can trust OpenAI with unpublished math 868 pts · 817 comments · Sep 2026 868 pts · 817 comments · Sep 2026
0 people saved or upvoted this
AI "Proves" Collatz Conjecture with Lean 4 Bug 14 pts · 5 comments · Jul 2026 14 pts · 5 comments · Jul 2026
0 people saved or upvoted this