Topics

KAIST researchers build an oscillatory Ising machine using standard silicon transistors, enabling fast solutions to hard industrial problems at room temperature.

An unreleased research version of the model raised the known minimum share of zeros lying on the critical line from 41.6 percent to 67.2 percent while attempting a harder problem.

AI generated solutions and progress on ten problems that had remained open for at least a decade across several branches of pure mathematics and theoretical computer science.

Edinburgh physicists show that carefully shaped magnetic pulses could bring memory chips much closer to the lowest energy cost allowed by physics.

AI-powered AlphaEvolve uncovers new structures in complexity theory, advancing mathematical theorems with verified precision.

In this inspiring episode, Gregory Meredith shares his unique journey—from early childhood insights into the fundamental particles of the universe to revolutionizing concurrent computation and contributing to systems biology.

What if reality isn’t made of stuff, but of patterns-harmonic, spiraling, and alive to the flow of time?

A new binary function combined with constant 1 produces the full set of scientific calculator operations through repeated application.

RedNote’s dots-note-3.0 model solved every problem under official rules and without human help, marking a new milestone in machine reasoning at the International Mathematical Olympiad.