Tech News
← Home  ·  All topics

Ai Math

2 GoKawiil briefs on this topic

New quantum-resistant encryption rolls out as AI math gains raise early-crack fears

Organizations are deploying new encryption standards designed to withstand future quantum computers, which are expected to eventually break today's cryptographic systems. Separately, recent advances in AI's mathematical problem-solving abilities have raised concerns that AI systems, not quantum machines, could be the first to break current encryption methods.

Independent researcher claims AI-assisted Lean proof of Conway's 50-year-old refinement conjecture

An amateur mathematician spent a month using a frontier AI model to attempt a formal Lean proof of John Conway's refinement conjecture about omnific integers in surreal number theory, a problem posed 50 years ago. The proof reportedly passed mechanical verification through the Palomar registry, and some Lean and field experts said the statement appears correct, though full independent mathematical verification is still pending.