MATH-AI workshop accepted to NeurIPS 2026
KaiyuYang4 · x · 2026-07-21
NeurIPS 2026 will host the 6th Workshop on Mathematical Reasoning and AI (MATH-AI) in Atlanta on Dec. 12 or 13, 2026.
The workshop focuses on how agentic AI systems can support mathematical research while staying reliable collaborators for human mathematicians — including conjecture generation, exploration, formalization, theorem proving, verification, and discovery. The call for papers and reviewer recruitment are both open, with submissions to appear soon on OpenReview.
More from Research
- Study: AI reviewing AI misses most reward hacking; best models miss 25%+ of hacks — ronbodkin · 2026-10-26
- FLUX.3 Klein step-distilled to 4-8 steps with CFG baked in — Fit-Structure-6489 · 2026-10-26
- NLI alone rejects 5/6 new agent memories; a 0.45 similarity gate fixes it all — Alternative_Pin9598 · 2026-10-26
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- ostris pre-training "Primal VAE": 1-channel latents match modern 8x VAEs via patching — ostrisai · 2026-10-26
- Shanghai AI Lab-led team releases 100-hour egocentric wearable dataset for humanoid training — ChuckDBrooks · 2026-10-26