

Reasoning With Machines doesnāt work on reasoning, really. Itās almost entirely large language models ā chatbots. Because thatās where the money ā sorry, the industry interest ā is. But this paper got into the NeurIPS 2025 conference.
A reminder that the NeurIPS FAQ for reviewers says that āinteractions with LLMsā are an acceptable way āto enhance your understanding of certain conceptsā. What other big conferences are there⦠AAAI 2026, you say?
AAAI-26 will follow a two-phase reviewing process as in previous years, with two additions: an additional AI-generated review in Phase 1, and an AI-generated summary of the discussions at the end of the discussion phase. The AI-generated content is being used as part of a pilot program to evaluate the ability of AI tools to assist in the peer review process.
Iām gonna say it: The entire āartificial intelligenceā/āmachine learningā research field is corrupt. They have institutionally accepted the bullshit fountain as a tool. It doesnāt matter if theyāre only using chatbots as a āpilot programā; theyāve bought into the ideology. Theyāve granted fashtech a seat at the bar and forced all the other customers to shake its hand.




Whatever marginal utility genAI has in mathematics, like being a shitty version of a semantic search engine, is outweighed by the damage it is doing to critical thought at large. āOoh, the bus to the math conference runs so smoothly on this leaded gasoline!ā