Search AI news

The ‘Pain in the Ass’ Math That Could Save Vibe Coding From Itself

A new startup called &Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.

Crux Labs raises over $6M to improve enterprise agents with human judgment

Crux Labs, an artificial intelligence platform turning enterprise judgment into continuous agent improvement, launched today with over $6 million in funding. Benchstrength and Misneach led the round, with participation from Analog Ventures and Pareto Holdings. The scale of enterprise AI agents in deployment can range from thousands to millions of user interactions per day. Existing observability […] The post Crux Labs raises over $6M to improve enterprise agents with human judgment appeared first on SiliconANGLE.

7 days until TechCrunch Founder Summit: Save up to $100 on your pass before doors open

In just 7 days, TechCrunch Founder Summit takes over Boston’s SoWa Power Station on November 4. Your chance to save up to $100 on tickets is running out, and the opportunity to learn and connect directly with experienced founders, investors, and startup leaders is almost here.

Circuit Mind lands $25M and puts AI agents to work checking circuit board schematics

British circuit board design startup Circuit Mind Ltd. today announced it has raised $25 million in new funding to extend its artificial intelligence platform across more of the hardware design process. A verification tool that puts AI agents to work hunting for errors in schematics launched at the same time. Circuit Mind offers software that […] The post Circuit Mind lands $25M and puts AI agents to work checking circuit board schematics appeared first on SiliconANGLE.

Exclusive: Numeracle Raises $28M To Keep Legitimate Business Calls From Spam Label

Numeracle, a McLean, Virginia-based company that verifies businesses and links their identities to the phone numbers they use to contact customers, has raised $28 million from Edison Partners to help businesses whose calls are incorrectly labeled as spam or blocked by phone carriers.

Selling AI Tokens Gets Harder as the Discount Trade Unravels

Model credits are showing up in festival promotions and carrier-style packs. Thin resellers that thrived on opaque markups face quality doubts, enforcement, and better-funded rivals. Durable intermediaries will charge for routing, trust, and integration—not for a secret price cut.

[AINews] Anthropic files for $2T IPO in 2 weeks: 1400% growth rate, 48% of revenue through cloud partners, 85% margin, $1B op profit in Q2, $134B cash in bank and $10B lifetime burn

The S-1, the numbers, and the reactions.

Release: v5.21.0

# Release v5.21.0 ## New Model additions ### MiniCPM-OCR MiniCPM-OCR is a document-understanding model from OpenBMB's MiniCPM-V family. It keeps the MiniCPM-V 4.6 architecture, which pairs a SigLIP vision encoder and a window-attention merger with a Qwen3.5 language model. It is specialized for reading text-dense images such as scanned pages, screenshots, receipts and tables. **Links:** [Documentation](https://huggingface.co/docs/transformers/main/en/model_doc/minicpm_ocr) | [Paper](https://huggingface.co/papers/2509.18154) * Feat test (#49920) by @guarin in [#49920](https://github.com/huggingface/transformers/pull/49920) ### Flint Flint is Recursive's mixture-of-experts language model. Compared to a standard SwiGLU MoE transformer such as Qwen3-MoE, it uses hybrid attention (sliding-windo

Fleet-wide computer vision lifecycle at the edge with SageMaker SDK v3

Fleet-wide computer vision needs a model per camera, not one model for the whole fleet. This post presents a working Amazon SageMaker SDK v3 reference architecture that trains, quality-gates, compiles per-camera models with SageMaker Neo, and versions thousands of them, with an AWS Step Functions layer pacing fleet-scale retraining within account quotas.

The Anthropic IPO Is Also a Doomsday Primer

Anthropic thinks “closing the loop” is the best path to AI triumph—and a recipe for “existential” threats to humanity.

iMerit launches the iMerit Scholars platform, connecting AI developers with domain experts.

Indian AI data services company iMerit launched the iMerit Scholars platform on October 26, 2026, aiming to help AI developers recruit and manage domain experts with backgrounds in fields such as medicine, agriculture, and mathematics, thereby supporting model evaluation, fine-tuning, and validation. The platform leverages its Ango Hub technology stack and integrates Trolley Technologies’ payment compliance capabilities, emphasizing experts’ proactive “challenging” of models and their ability to identify errors.

Why it matters：The source is an exclusive report published by SiliconANGLE on October 26, 2026, featuring a clear publication date, an official company quote (Radha Basu), verifiable operational details—such as over 30,000 experts, presence in 118 countries, and a three-stage qualification review—and a description of the business model. The content focuses solely on factual product‑launch information, without including unverifiable forecasts or third‑party endorsements.

Phronix: The Capability-Centric Learning Paradigm for Agents

arXiv:2610.31789v1 Announce Type: new Abstract: Scientific computing increasingly relies on large language model-based agents for performance engineering tasks such as instrumentation, analysis, and workflow porting. However, agent effectiveness depends heavily on the surrounding harness, which typically relies on manually written skills and curated memory. This limits autonomous learning, forcing agents to repeatedly rediscover solutions rather than retain and reuse knowledge from prior executions. We introduce Phronix, a capability-centric learning paradigm that enables agentic harnesses to acquire, validate, and refine reusable capabilities from their own executions. Phronix operates through a predictor-validator-corrector loop: MCP tools and associated skills propose solutions, tool ex

Learning What to Ask for Tomorrow: Active Preference Acquisition for Long-Term Personalized Web Agents

arXiv:2610.31107v1 Announce Type: new Abstract: Web agents increasingly serve the same user across repeated online tasks such as booking travel, shopping, and scheduling, so their long-term usefulness depends on how well they know the user's preferences. Passive memory and personalization methods cannot obtain preferences the user never reveals, and clarification methods that value a question by its benefit to the current task overlook the benefit of reusing the answer in later tasks. We study Active Preference Acquisition (APA): which missing preferences are worth the cost of asking? We define the Prospective Personalization Value (PPV) of a missing preference as its expected cumulative utility gain over future tasks minus the effort and disclosure-risk cost of asking, and select question