// ai research

All signals tagged with this topic

AI's Role in Mathematics Reshapes Professional Identity

Twenty leading mathematicians at the 2026 ICM describe how AI is shifting their discipline from proof-discovery toward higher-order abstraction and verification. Pure mathematics may increasingly focus on asking better questions rather than solving them. These mathematicians are repositioning themselves as architects of AI's mathematical reasoning rather than defending against it—a posture that reflects broader institutional confidence. Fields with strong credibility structures (peer review, formalized knowledge) are absorbing AI as a labor multiplication tool. This dynamic will likely widen credentialization gaps: mathematicians fluent in AI-augmented workflows will shape how AI systems reason, while those who resist may find their work absorbed into training pipelines upstream.

AI Companies Are Closing Off Academic Research

Major AI labs are hiring top researchers away from universities with agreements that restrict publication and public scrutiny, effectively privatizing work that was previously peer-reviewed and openly debated. This creates a structural problem: the researchers best positioned to audit AI safety and performance are now contractually prevented from doing so, while companies control what gets published about their own systems. The shift also disadvantages academic institutions that can't compete on salary, concentrating both talent and knowledge toward a handful of private players.

OpenAI's AI Solves 80-Year Math Conjecture Through Brute Force

OpenAI's model didn't reason its way through the Erdős conjecture—it found a counterexample by exhaustively exploring combinatorial space. Raw compute outpaced human intuition on a problem that rewards computational depth over conceptual novelty. This marks the current limit of AI capabilities: machines excel at optimization and search-space problems, but claims about general mathematical reasoning or novel theory-building remain unproven.