Claude Turns 129-Page Proof Into 13M Lines of Code in 11 Days
Claude converted Andrew Wiles' 129-page proof of Fermat's Last Theorem into a 13-million-line Lean formalization in just 11 days—far faster than the...

Created by Udoka Ibeh
Fact‑checked updates on geopolitics, big‑tech news, scientific breakthroughs, and AI regulation
Explore the latest content tracked by World Tech & Policy
Claude converted Andrew Wiles' 129-page proof of Fermat's Last Theorem into a 13-million-line Lean formalization in just 11 days—far faster than the...
Markets rotated sharply within tech last week, with hardware surging while software lagged.
Huang Ping argues China should pursue a provisional US AI deal by accepting a global division of labour—open-source models and industrial applications...
House Speaker Mike Johnson insists AI developers—not Congress—bear primary safety responsibility.
Dialogue grows harder amid geopolitical rivalries, technological shifts, and fragmentation that erode trust in institutions, yet these same forces make sustained multilateral forums more vital for rebuilding cooperation and shaping an open future.
Brent crude surged 2.85% to $105.54 as escalating Persian Gulf tensions and Strait of Hormuz transit risks sharply elevated the geopolitical premium....
An AP News report examines claims tying Yemen's Houthi missile actions to Anthropic AI, underscoring the need for concrete evidence when tech firms intersect with active conflicts.
前沿AI研究者呼吁放缓步伐,而特朗普明确反对减速,这场争论指向核心问题:谁应掌控AI发展节奏?
最终决策权归属,仍待观察。
Distinguishing these terms helps judge what companies actually deliver when they label features “AI.”
Panama shows how mid-sized countries can build AI oversight by blending strategic policy frameworks with digital transformation laws and pending...
Spotify plans to monetize AI-powered conversational tools through paid add-ons, following its audiobook model that reached €100 million in annual...
NASA's BOOP! balloon flight offers a low-cost, flexible platform to validate compact instruments for planetary exploration, reaching 123,000 feet while testing radiation mapping tools and a new flight camera system.
强有力的责任执行可助力AI辩论:若代理群失控或模型被破解,你将承担法律责任。 这把安全责任从自愿承诺转向法律义务。
RLT makes the decoder recurrent over every token while a causal encoder builds global KV memory, letting computation depth grow to 48t blocks after t...
Two recent pieces warn that AI risks freezing flawed human thinking while accelerating planetary damage.
Nvidia defends its customer investments by claiming every $1 generates $100 in returns, framing it as standard ecosystem support rather than circular...
Talbot County became one of the first Maryland districts to meet the state's new AI mandate with a policy that explicitly limits how the technology...