AI in Math Research: Testing Models to Generate and Solve Conjectures
jachiam0 · x · 2026-08-01
A researcher shared their new experience using LLMs to assist in math research. By employing specific prompting methods, they let the AI autonomously find mathematical conjectures and attempt to solve them, joking that no one should ever make a conjecture again without running it by the models first.
More from AGI Musings
- Why the 'AI Race' Becomes Meaningless on the Eve of RSI — MWCvitkovic · 2026-08-01
- New Org Idea: Let Employees Vibe-Code Their Own Apps, Engineering Handles Core Features — tobowers · 2026-08-01
- AI Consultant Reflects: Human-in-the-loop Often Just Means Automation Isn't Ready — Warm-Reaction-456 · 2026-08-01
- Even if Conscious, LLMs' Words Cannot Accurately Express Their Experience — D2MAH · 2026-08-01
- Are LLMs Inventing a Denser Language to Bypass Human Limits? — GabGarrett · 2026-08-01
- Thoughts on AI Systems Optimizing for Machine-to-Machine Communication — johnseach · 2026-08-01