Loading...
August 30, 2024 at 11:44
English

AI and computing

Notes on how artificial intelligence and modern computing intersect — from machine learning architectures and language models to infrastructure, algorithms, and developer tooling. Covering real-world applications, research findings, and engineering trade-offs. Each piece breaks down a specific concept, tool, or trend: how models are trained, where they fail, and what actually works in production. Written for people who want depth, not hype.

Quantum One-Way Puzzles: A New Mathematical Foundation for Cryptography

Modern ciphers rest on mathematics. Their foundation is so-called NP problems (non-deterministic polynomial time) — problems where:

Can AI Solve the Navier-Stokes Millennium Problem? Inside DeepMind’s Secret Project

The Navier-Stokes equations describe the motion of air, liquids, and essentially any flow — everything that surrounds us. But there…

Cognitive Offloading to AI: How Delegating Thinking Undermines Memory and Intelligence

It seems like the world is getting smarter. We carry GPT, a calculator, Wikipedia, and an entire library of YouTube…

Why Is It So Hard to Prove P ≠ NP? Barriers and Dead Ends Explained

The P vs NP problem sounds deceptively simple: if we can verify a solution to a problem quickly (in polynomial…

AlphaEvolve Breaks a 56-Year-Old Matrix Multiplication Record

This week, Google DeepMind shared remarkable news. For some time now, they have been working on a project called AlphaEvolve…

Quantum Computing Mathematics: Qubits, Algorithms, and the Future of Computation

Quantum computers are not just a new technology — they are a reimagining of the very foundations of computation. They…

DeepSeek and GRPO: How Reinforcement Learning Mathematics Outperformed OpenAI

A week before DeepSeek's arrival, the United States announced Project Stargate — a plan to invest $500 billion into AI…

60-Year-Old Error in Crystalline Cohomology Found During Fermat’s Last Theorem Formalization

Mathematicians have uncovered an error in a proof that underpins crystalline cohomology — a significant branch of modern geometry that…

Hash Functions: The Mathematics That Secures the Internet

Recall the old fairy tale: a royal messenger carries an important letter, but enemies intercept him on the road, get…

keyboard_arrow_up