AlphaEvolve: AI-Powered Mathematical Discovery at Scale Google DeepMind's AlphaEvolve is moving the bar yet again in how artificial intelligence tackles mathematical discovery. Published (preprint) in November 2025 by researchers Bogdan Georgiev, e t al at... AI AlphaProof automated reasoning combinatorics DeepMind evolutionary computation FunSearch large language models machine learning mathematical discovery mathematics optimization Terence Tao
Microsoft’s Analog Optical Computer: Illuminating the Next Era of AI and Problem Solving Computers that harnesses the speed of light to solve complex problems in a fraction of the time and energy it takes today are no longer science fiction. Microsoft researchers are forging ahead with an... AI analog computing energy efficiency finance healthcare machine learning optical computer optimization
Uni-LoRA: Ultra-Efficient Parameter Reduction For LLM Training Low-Rank Adaptation (LoRA) revolutionized how we fine-tune large language models by introducing parameter-efficient training methods that constrain weight updates to low-rank matrix decompositions (Hu... computational efficiency isometric projections linear algebra LoRA machine learning mathematics neural networks optimization parameter efficiency projection methods
How IBM Research Is Shaping the Future of Algorithm Development Algorithm development is entering an exciting phase as quantum computing and artificial intelligence (AI) begin to blend with traditional high-performance computing. IBM Research is using its extensiv... algorithms artificial intelligence high-performance computing IBM Research linear algebra optimization quantum computing stochastic processes