All Updates

Page 351 of 1623

June 12, 2026

📡
TechRadar AI33d ago

Nearly half of British adults want generative AI gone

New research indicates that nearly 50% of British adults would prefer to eliminate generative AI entirely. Surprisingly, younger demographics are leading this opposition, signaling a potential shift in public sentiment toward AI adoption.

#public-sentiment#ai-adoption#user-trust
📊
Bloomberg Technology33d ago

SpaceX Shares Surge 35% in Shadow Trading Markets

Shadow market data suggests a significant valuation increase for SpaceX, reflecting strong investor confidence in its rocket, satellite, and AI initiatives. The indicated 35% premium highlights the company's growing influence in the tech sector.

#spacex#valuation#market-trends
📊
Bloomberg Technology33d ago

China's Regulatory Ceasefire Ends for Tech Giants

Beijing has resumed regulatory pressure on major e-commerce platforms like Alibaba and JD.com. The focus has shifted from broad campaigns to specific law enforcement regarding competitive practices.

#china-regulation#e-commerce#compliance
💰
TechCrunch AI33d ago

Avataar launches cost-effective, culturally aware video AI for India

Avataar has introduced a distilled video generation model specifically optimized for the Indian market. The service is priced aggressively at $0.005 per second of video generation.

#video-gen#cost-optimization#emerging-markets
🇦🇺
iTNews Australia33d ago

AudiA6 crypto laundering network dismantled by Australian police

Australian authorities have successfully dismantled a criminal network involved in laundering funds from ransomware victims. The operation targeted the 'AudiA6' group, which was responsible for processing illicit cryptocurrency transactions.

#cybersecurity#cryptocurrency#fraud-detection
🏠
IT之家33d ago

Microsoft Edge shifts to a bi-weekly update cycle

Microsoft announced that starting with version 152, the Edge browser will move to a bi-weekly update cadence. This change aims to reduce the validation burden for enterprise IT departments and accelerate security patching.

#browser#enterprise-software#dev-ops
⚛️
量子位33d ago

Fable 5 fails to outperform GPT 5.5 in benchmarks

Recent benchmark testing reveals that the Fable 5 agent model struggles to match the performance of GPT 5.5. The model reportedly scored zero on the most difficult evaluation tasks.

#agentic-ai#benchmarking#model-performance
⚛️
量子位33d ago

BEV technology accelerates embodied AI data scaling

BEV (Bird's Eye View) technology is being integrated into embodied AI to facilitate the scaling of robot training data. This approach aims to bridge the gap between cross-dimensional data processing and robotic perception.

#robotics#embodied-ai#computer-vision
📊
Bloomberg Technology33d ago

Dreame Tech Considers Hong Kong IPO Next Year

Chinese smart home robotics company Dreame Technology is reportedly exploring an initial public offering in Hong Kong. The move could take place as early as next year as the company looks to expand its capital base.

#robotics#ipo#smart-home
📊
Bloomberg Technology33d ago

Infineon Opens €5B German Chip Fab for EU Sovereignty

Infineon Technologies AG is launching its largest-ever investment, a €5 billion semiconductor factory in Germany. The project is supported by EU subsidies to bolster regional chip production capabilities.

#semiconductors#supply-chain
📄
ArXiv AI33d ago

TrajGenAgent: Hierarchical LLM Agent for Synthetic Mobility Data

TrajGenAgent is a novel hierarchical LLM framework that generates realistic human mobility trajectories without requiring model fine-tuning. It utilizes a two-stage orchestrator-worker design to combine in-context learning with deterministic spatiotemporal grounding.

#synthetic-data#human-mobility#llm-agents
📄
ArXiv AI33d ago

ToolSense: A Diagnostic Framework for Auditing LLM Tool Knowledge

ToolSense is a new open-source diagnostic framework that evaluates how well LLMs retrieve and understand tools from large catalogs. It reveals a significant 'knowledge-retrieval dissociation' where models may perform well on retrieval benchmarks but fail to demonstrate actual tool comprehension.

#llm-agents#benchmark#model-evaluation
📄
ArXiv AI33d ago

Pythagoras-Prover: Efficient Formal Theorem Proving Breakthrough

Pythagoras-Prover is a new family of compute-efficient Lean theorem provers that achieves state-of-the-art performance on MiniF2F benchmarks. By utilizing Augmented Lean Formalisation (ALF) and curriculum fine-tuning, the models deliver superior reasoning capabilities with significantly fewer parameters than existing giants.

#formal-verification#theorem-proving#lean-prover
📄
ArXiv AI33d ago

Predicting User Rejection in Clinical LLM Deployments

This research introduces a pre-response classifier that predicts the likelihood of user rejection in clinical LLM interactions. By leveraging deployment-specific context like provider type and department, the model achieves an AUROC of 0.719, enabling more effective guardrails.

#clinical-ai#llm-evaluation#guardrails
📄
ArXiv AI33d ago

PersonaDrive: Human-Style VLA Agents for Driving Simulation

PersonaDrive introduces a VLA pipeline that conditions autonomous driving agents on human-style demonstrations. By using retrieval-augmented generation, it enables diverse driving behaviors—aggressive, neutral, or conservative—without requiring per-style model retraining.

#autonomous-driving#vla#simulation
📄
ArXiv AI33d ago

New Framework Optimizes AI Agent Decision Support

This research introduces a framework for strategic decision support in agentic systems, focusing on minimizing support usage while controlling error rates. It provides a mathematical approach to determine when AI agents should seek human or tool intervention.

#agentic-systems#decision-support#human-in-the-loop
📄
ArXiv AI33d ago

From AGI to ASI: Pathways and Future Transitions

This research report explores the theoretical transition from human-level Artificial General Intelligence (AGI) to Artificial General Superintelligence (ASI). It identifies four primary development pathways and discusses the potential for a series of transformative societal changes rather than a single event.

#agi#asi#future-of-ai
📄
ArXiv AI33d ago

Formalizing Mentalizing Mechanisms for AI Epistemic Inference

The Theory of Mind Utility (ToM-U) introduces a formal computational framework for modeling how agents infer the beliefs of others. By utilizing Local Epistemic World Models (LEWMs), it provides a structured approach to tracking epistemic states without relying on neural implementation assumptions.

#mentalizing#epistemic-logic#multi-agent-systems
📄
ArXiv AI33d ago

Evoflux: Evolutionary Search Improves Compact Agent Tool Execution

Evoflux is an inference-time evolutionary search method designed to repair executable tool workflows for compact language models. It significantly improves tool execution feasibility by evolving workflow graphs through structured edits and execution feedback.

#llm-agents#tool-use#evolutionary-search
📄
ArXiv AI33d ago

Evaluating Lie Detectors Across LLM Scales and Beliefs

Researchers evaluated four lie detection methods against a new testbed of 13 reasoning models with verified hidden beliefs. The study reveals that while detection accuracy scales with model capability, most activation-based detectors fail on trained model organisms, highlighting significant limitations in current AI auditing tools.

#ai-safety#model-auditing#llm-transparency
Page 351 of 1623