A.I.’s First Big Math Breakthrough Is Not What It Seems

Some have interpreted this as the defining moment when A.I. surpassed human prowess in math, akin to the moment in 1997 when ...
Quanta Magazine

How Terry Tao Became an Evangelist for AI in Math

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with ...
GitHub

Husarnet is a Peer-to-Peer VPN to connect your laptops, servers and microcontrollers over the Internet with zero configuration.

Husarnet, in it's core, is one big, automatically routed, IPv6 network. Running Husarnet daemon creates a virtual network interface (by default named hnet0) with an unique Husarnet IPv6 address and ...
GitHub

Subset Sum Solver -- Fastest Exact Algorithm (World Record, Breakthrough Discovery)

What Is This Subset Sum Solver? This is the world record exact subset sum solver. It holds world records across all 65 tested algorithm categories, solving the NP-complete subset sum problem from 10 ...