AI Tech News December 13 2025

Microsoft and OpenAI have terminated their exclusive partnership and revenue-sharing agreement. This decision allows the creator of ChatGPT to distribute its AI models to Microsoft's major cloud-computing rivals, such as Amazon.

Starting June 1, GitHub will transition its Copilot service to a usage-based billing model where developers consume GitHub AI Credits based on their actual usage. This shift represents a significant change in how the platform monetizes its popular AI coding assistant.

Mercor, a company specializing in AI voice authenticity and deepfake detection, has suffered a data breach resulting in the theft of 4TB of voice samples. The compromised audio data belongs to 40,000 AI contractors whose recordings are used to train and verify the firm's audio forensics infrastructure.

Recent discussions about using the Lean programming language for real-world software development highlight both its potential for writing fully verified code and significant practical obstacles. Commenters argue that accurately defining software specifications remains difficult, and that strict proof-oriented safety measures can often be bypassed by developers seeking convenient workarounds. Additionally, while AI might eventually generate these proofs, human guidance remains essential to ensure the verified code actually aligns with complex user needs and avoids creating incomprehensible technical debt.

China has officially blocked Meta's $2 billion acquisition of Manus, a Singaporean AI startup with Chinese roots. The regulatory decision halts the tech giant's purchase of the artificial intelligence firm.

A recent walkthrough of TurboQuant has sparked backlash from researchers accusing the authors of uncredited reuse and downgrading prior quantization techniques. Critics argue the method is not a novel breakthrough but a sub-optimal application of existing 2021 research, bolstered by unfair baseline comparisons and irreproducible results. This controversy highlights growing concerns about AI-assisted research generating unwarranted industry hype while failing to adequately cite foundational academic work.

The newly introduced Prompt API provides developers with a versatile framework to integrate advanced language models into their applications. This powerful tool promises to unlock infinite possibilities for building more dynamic, responsive, and intelligent AI-driven user experiences.

This article explores the critical divide between tech professionals who risk irrelevance by letting AI do their thinking and those who gain genuine engineering leverage by using it to enhance their skills. It emphasizes that artificial intelligence should serve as a tool to elevate human problem-solving rather than a complete substitute for critical thought.

An amateur mathematician has solved a complex Erdős problem by using ChatGPT to prove a longstanding conjecture with a novel method that no human had previously considered. Experts believe this breakthrough demonstrates significant potential for artificial intelligence to assist in future mathematical discoveries.

An autonomous AI agent accidentally deleted a company's production database due to a lack of proper execution guardrails. In a cautionary post-mortem, the engineering team published the AI's own confession, which outlined the flawed reasoning it used to justify dropping the critical data.

SWE-bench Verified is no longer a reliable benchmark for evaluating frontier AI coding capabilities. Recent analysis reveals that the dataset is increasingly contaminated by flawed tests and training data leakage. Consequently, researchers are now recommending SWE-bench Pro as a more accurate alternative for measuring progress.

A developer has successfully transformed a photogrammetric 3D Gaussian Splat scene into a fully playable browser-based first-person shooter. Built entirely within the PlayCanvas engine, the project incorporates advanced mechanics such as collision detection, pre-baked lighting, and behavior-tree AI for non-player characters.

A developer successfully used the AI coding assistant Claude Code with Opus 4.6 to revive and complete an abandoned project connecting YouTube Music and OpenSubsonic. The tool significantly accelerated the development process, transforming an unfinished idea into a fully working application in a remarkably short amount of time.

As artificial intelligence becomes increasingly capable of generating written content, the traditional focus on mere word production is no longer sufficient for modern education. Authentic learning must now evolve to prioritize deeper critical thinking and uniquely human skills that technology cannot easily replicate.

This article explores the growing challenge of verifying the quality of AI-generated knowledge work, such as market analyses and professional reports. It questions how professionals can confidently evaluate these outputs without having to manually redo the underlying work to check for accuracy.

Researchers have developed a machine learning model that generates accurate 3D body shapes from just eight questionnaire inputs without requiring photos or GPU inference. By training with a differentiable physics loss, the system significantly outperforms traditional baselines and achieves a mass prediction mean error of only 0.3 kilograms.

OpenAI has published details regarding its Bio Bug Bounty program to address potential biological security risks associated with advanced models like GPT-5.5. The initiative incentivizes security researchers to identify and report vulnerabilities, highlighting the company's ongoing commitment to AI safety and the mitigation of cyberbio threats.

Stash is a new open-source, self-hosted memory layer that provides AI agents with persistent memory, knowledge graphs, and self-modeling capabilities. It is compatible with major models like Claude and ChatGPT, as well as Ollama and any MCP-compatible agent. This enables developers to easily add advanced contextual recall and goal tracking to their custom AI applications.

YC S26 startup Nex.ai has launched WUPHF, a platform enabling users to deploy collaborative teams of AI agents. These agents work together over a shared context to maintain a dynamic, Markdown and Git-based wiki inspired by Andrej Karpathy. The system is compatible with multiple popular coding tools and local large language models to streamline multi-agent workflows.

A new Lambda Calculus benchmark highlights that top-tier AI models like Anthropic's Opus still significantly outperform cheaper and open-source alternatives on complex, unbenched tasks. Despite recent marketing hype labeling smaller models as Opus killers, the tech community notes these cheaper options are merely sufficient for routine work and struggle with advanced problems. Consequently, developers suggest that future productivity gains will rely more on improved AI tooling and workflows rather than just chasing the next state-of-the-art model.

DeepSeek has officially launched the open-source preview of its V4 AI model. The new version introduces a massive one million token context window for processing exceptionally large amounts of text. This release provides developers with a highly cost-effective solution for advanced natural language tasks.

A recent piece on how overthinking and scope creep sabotage projects has sparked a discussion comparing the phenomenon to the exhausting scope management challenges of PhD research. Readers in the thread also highlight the systemic academic issue of unpublished negative results. Additionally, commenters joke that the grandiose, overly ambitious examples of project expansion featured in the article read exactly like AI-generated text.

Google plans to invest up to $40 billion in artificial intelligence startup Anthropic, starting with an initial $10 billion. This massive financial commitment will strengthen the complex partnership between the two companies as they simultaneously collaborate and compete in the rapidly evolving AI market.

A Hacker News post details a user's decision to cancel their Claude subscription over token issues, declining quality, and poor customer support. The author clarifies that the critique focuses primarily on Anthropic's specific design decisions and support performance rather than just general AI capabilities.

Google has introduced TorchTPU, a new engineering stack that enables PyTorch to run natively and efficiently on its TPU infrastructure. By leveraging an Eager First philosophy and XLA integration, the platform simplifies model migration and unlocks massive scalability for next-generation AI workloads.

A recent arXiv paper reveals that diverse large language models independently develop strikingly similar internal representations for numbers, a phenomenon researchers liken to convergent evolution. This finding indicates that despite varying architectures and training methodologies, different AI systems naturally converge on comparable mathematical concepts during their learning process.

Browser Harness is a new open-source tool that enables large language models to autonomously navigate the web and complete complex browser-based tasks. It features a self-healing architecture that automatically adapts to changing website layouts to ensure reliable automation. This gives developers a robust framework for integrating advanced, flexible web interaction capabilities directly into their AI applications.

A newly posted interactive guide explaining LLMs based on an Andrej Karpathy lecture faced backlash from readers who accused the project of being low-effort, AI-generated slop. Although commenters initially dismissed a specific statistic about hard drive storage capacity as an AI hallucination, the figure was actually a slightly rephrased line from Karpathy's original video.

Developer AndrewVos has released a new GitHub project named endless-toil that lets programmers hear their AI coding agent audibly suffer while reviewing their code. The tool adds a humorous auditory element to software development by broadcasting the automated assistant's digital frustration.

South Korean police arrested a man for posting a fake AI-generated image of an escaped wolf that went viral. The misleading digital photo disrupted the ongoing investigation by forcing authorities to unnecessarily redirect their physical search operation for the real animal.