| Mobile Web

Search results for Lattice

AI & Enterprise

OpenAI\'s Astra solves 10 math problems unsolved for more than a decade

OpenAI’s unreleased internal model Astra has produced new results on 10 problems in mathematics and theoretical computer science that had remained unsolved for at least a decade, and released machine-verifiable proofs. OpenAI posted a 249-page manuscript, model reasoning traces and Lean 4 proof certificates on GitHub under the Apache 2.0 licence. Some researchers called the results significant, but the work has not been peer reviewed and mathematicians still need to confirm the claims’ meaning and alignment with the original open problems.

Crypto

AI adds new variable to Bitcoin\'s post-quantum shift after Anthropic research sparks security debate

Artificial intelligence has emerged as a new variable in talks on moving Bitcoin to quantum-resistant security, after an Anthropic frontier AI model found a new way to attack a weakened version of AES. Anthropic said the AI-made method sped up cracking by 200 to 1,000 times and also devised an improved attack on the post-quantum signature scheme HAWK. Researchers and industry figures say the work does not pose an immediate threat but highlights the need to assess AI-driven cryptanalysis alongside quantum risks.

AI & Enterprise

U.S. companies step up hiring after AI-driven pullback

U.S. companies that had avoided hiring because of economic uncertainty and expectations that AI could cover more work are changing course. The Wall Street Journal reported that firms including rail operator CSX and Google parent Alphabet have outlined plans to expand hiring to meet growth goals and pursue opportunities in new technologies. Executives cited AI-related costs and limits, while some companies are seeking to rehire after layoffs.