Author: admin

The nonprofit behind Wikipedia on Wednesday revealed its new AI strategy for the next three years — and it’s not replacing the Wikipedia community of editors and volunteers with artificial intelligence, thankfully. Instead, the Wikimedia Foundation says it will use AI to build new features that “remove technical barriers,” allowing editors, moderators, and patrollers tools that allow them to accomplish what they need to do, without worrying about how to “technically achieve it.” Amid concerns that AI could eventually impact jobs held by people today, especially in terms of content creation, Wikipedia indicates that it intends to use AI as a tool that…

You’ve got just 5 days to save up to $210 — plus 50% off your plus-one — and get inside the minds of AI’s biggest voices at TechCrunch Sessions: AI. Imagine hearing firsthand from Anthropic’s Jared Kaplan, OpenAI’s startup team, and top voices from firms like Khosla Ventures — all in one day. June 5 is your chance to dive deep into AI from every angle. Join founders, VCs, researchers, and visionaries at UC Berkeley’s Zellerbach Hall for a day packed with cutting-edge insight and connections. Sessions you won’t want to miss at TC Sessions AI The Frontier of AI…

Chinese artificial intelligence development company DeepSeek has released a new open-weight large language model (LLM).DeepSeek uploaded its newest model, Prover V2, to the hosting service Hugging Face on April 30. The latest model, released under the permissive open-source MIT license, aims to tackle math proof verification. DeepSeek-Prover-V2 HuggingFace repository. Source: HuggingFaceProver V2 has 671 billion parameters, making it significantly larger than its predecessors, Prover V1 and Prover V1.5, which were released in August 2024. The paper accompanying the first version explained that the model was trained to translate math competition problems into formal logic using the Lean 4 programming language…

Crypto was born from an open-source ethos, where code was shared publicly, accessible for review and shaped by community contributions. Transparency and verifiability are foundational principles that enable trust in Bitcoin.But as the space matured, some disadvantages of open source surfaced. Innovative smart contract platforms and decentralized finance (DeFi) applications were forked to create direct competitors — from the wave of Uniswap clones to Ethereum forks — which prioritized speed and lower fees over decentralization.As a result, some projects opted for closed-source development to protect proprietary designs and reduce the risk of exploits, hoping to delay or deter malicious actors…

Supio, a startup that uses AI to automate data collection and analysis for legal teams, has raised $60 million in a funding round led by Sapphire Ventures with participation from Mayfield and Thomson Reuters Ventures. The new capital, which brings Supio’s total raised to $91 million, will be put toward growth, hiring, and go-to-market efforts, co-founder and CEO Jerry Zhou told TechCrunch. Supio plans to expand its Seattle HQ and open a new office as it roughly doubles its 100-person staff. Supio is one of the many startups vying for customers and mindshare in the AI legaltech space. While there’s…

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, and a distilled variant to AI dev platform Hugging Face late on Wednesday. It appears to be built on top of the startup’s V3 model, which has 671 billion parameters and adopts a mixture-of-experts (MoE) architecture. Parameters roughly correspond to a model’s problem-solving skills, while MoE breaks down tasks into subtasks and delegates them to smaller, specialized “expert” components.  DeepSeek last updated Prover in August, describing it…

The crush of traffic going into training and running AI has quickly turned into a major cost and resource headache for organizations. Today, Cast AI, a startup building tools to ease and optimize workloads for AI and other tasks with automation, is raising a major round of funding on the back of strong growth and partnerships with major players in the space.  The company has raised a $108 million Series C that it will be using for more R&D and to expand its business in core markets like the U.S. and elsewhere. Sources familiar with the deal told TechCrunch that…

Kintsugi, a Silicon Valley-based startup that helps companies offload and automate their sales tax compliance, has raised $18 million in new funding led by global indirect tax technology solution provider Vertex. The startup plans to enable more small and medium businesses to use its AI-enabled capabilities for tax calculations and filings. The ongoing growth of e-commerce and cross-border trade, combined with increasingly complex tax regulations, has driven global demand for tax automation solutions. Kintsugi aims to aid companies with its software that integrates with revenue-generating points, whether that’s Shopify, Stripe, Chargebee, QuickBooks, or a custom API implementation. This helps bring…

Bitcoin is finally proving naysayers wrong about its long-running environmental allegations. A new report from the Cambridge Centre for Alternative Finance (CCAF) says 52.4% of all bitcoin mining is now powered by green energy, a huge win for the scarce digital money. This is a big deal because the industry has proven that it is taking steps to reduce its carbon footprint—a long-standing criticism of Bitcoin. The Cambridge Digital Mining Industry Report, published by researchers at the University of Cambridge’s Judge Business School, shows more than half of Bitcoin’s energy is now coming from clean sources. The study says 42.6%…

It’s a tough time if you believe in following historical seasonal indicators for the stock market. Since 1950, April is the second best month for the S & P 500 (up an average 1.5%), and the best month for the Dow Industrials (up an average 1.8%), according to the Stock Trader’s Almanac . That hasn’t happened this year. With one day left in the month, the S & P 500 is down about 1% in April, the Dow Industrials off by 3.5%. Other seasonal barometers have not been particularly bullish. January was up, an historically optimistic sign, but February and March were…