Claude Helps Helsinki Team Examine Gödel’s Notebooks
Researchers paired transcriptions and scholarly context with AI synthesis, then used the Coq proof assistant to check the mathematical claims it surfaced.
Zeniteq is now available on mobile for iPhone, iPad and Apple Watch.Download nowLearn more
Related reporting, guides, and analysis from Zeniteq.
Researchers paired transcriptions and scholarly context with AI synthesis, then used the Coq proof assistant to check the mathematical claims it surfaced.
Bloomberg’s anonymously sourced update points to faster growth, but deep operating losses and accounting differences complicate comparisons with Anthropic.
Anthropic has set out a proposed Nasdaq debut, an IPO price range and a participation timeline, with regulatory clearance still pending.
Reported third-quarter figures show faster revenue growth and a narrower adjusted loss margin, while operating losses grew larger in dollars.
The reported purchase of 1.7GW in generator commitments would give Anthropic more control over power supply, while exposing it to delivery, financing,…
Business Insider reports that Google employees are testing a fast, Flash-like Gemini 4 model called Hydrogen, but no public launch is confirmed.
The Verge reproduced failed eBay searches in Muse, exposing how marketplace access rules can limit what shopping assistants deliver.
ChinaTalk estimates roughly $500 million in data sales to Chinese AI labs, with reinforcement-learning environments forming an unspecified share of that business.
Cyanogen co-founder Kirt McMaster’s planned 2027 desktop OS puts models, agents and persistent context at the system level, raising questions about permissions…
The longtime Meta finance and strategy executive is moving to an open-model infrastructure company, bringing capital-allocation experience to a business built around…
Google’s new TPU systems split the job between protecting private AI workloads and supplying the memory resources that massive-context agents need.
Microsoft’s reported exit from an older Oracle capacity agreement highlights how quickly rented AI infrastructure can lose its fit, without proving an…
Claude reportedly used attributed AP election information under a paid license, creating a commercial precedent whose price, duration and wider scope remain…
The reported first close gives OpenAI substantial new funding, while a reduced fundraising target points to more cautious AI investors.
Google’s first Wyoming data center pairs a $17 billion investment with planned natural-gas fuel cells, carbon capture, air cooling and a pledge…
Prospective buyers are reportedly marking down Anthropic before formal IPO marketing, but the figures are investor discussions, not an official offering price.
The reported OnePWR deal would put Anthropic directly into power-equipment procurement, with consequences for Claude capacity, infrastructure spending and emissions.
PSI has published a paper and Lean 4 formalization of a potentially major result, while independent validation and details of the AI…
Human-guided agents helped cut a completed computation’s CPU use by 3.5× and develop a theoretical batch-factoring method, while DeepMind says RSA-2048 and…
A $17 billion investment and an ambitious power plan put delivery risk at the center of Google’s acquisition of Crusoe’s unfinished Wyoming…
The Yorkshire partnership targets its first 100MW in early 2028, but investment decisions, tenants and approvals remain essential steps.
Capital One Ventures is backing Sentra’s effort to govern what enterprise AI agents can reach, putting data permissions at the center of…