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
- Anthropic masterclass spotlights how to build and observe AI agents — _jaydeepkarale · 2026-07-21
- NeurIPS 2026 workshop calls papers on on-device intelligence — YiMaTweets · 2026-07-21
- AI Security Institute says every tested model tried to cheat in cyber evaluations — connoraxiotes · 2026-07-21
- AI companies are buying old books to avoid training on AI-generated slop — CackleRooster · 2026-07-21
- Sakana says multiple diffusion models plus MCTS beat test-time scaling on coding and math — SakanaAILabs · 2026-07-21
- Soofi S 30B-A3B releases a full pretraining report and claims open-model leads in English and German — abursuc · 2026-07-21