Themata.AI
Themata.AI

Popular tags:

#developer-tools#ai-agents#llms#claude#ai-ethics#code-generation#openai#ai-safety#anthropic#open-source

AI is changing the world. Don't stay behind. Clear summaries, community insight, delivered without the noise. Subscribe to never miss a beat.

© 2026 Themata.AI • All Rights Reserved

Privacy

|

Cookies

|

Contact
ai-generated-codesoftware-developmentanthropicdeveloper-tools

When AI writes the software, who verifies it?

When AI Writes the World’s Software, Who Verifies It?

leodemoura.github.io

March 3, 2026

18 min read

🔥🔥🔥🔥🔥

62/100

Summary

Code Metal has raised $125 million to rewrite defense industry code using AI. Google and Microsoft report that 25–30% of their new code is AI-generated, while AWS has modernized 40 million lines of COBOL for Toyota using AI.

Key Takeaways

  • Code Metal raised $125 million to rewrite defense industry code using AI, highlighting the increasing reliance on AI in software development.
  • Google and Microsoft report that 25–30% of their new code is AI-generated, with predictions that 95% of all code will be AI-generated by 2030.
  • Nearly half of AI-generated code fails basic security tests, and there is currently no formal verification process for the accuracy of AI-generated software.
  • Poor software quality costs the U.S. economy $2.41 trillion per year, a figure that is expected to rise as AI generates a significant portion of new code.
Read original article

Community Sentiment

Mixed

Positives

  • The evolution of software development towards AI-assisted coding signifies a shift towards a more engineering-focused discipline, emphasizing oversight and structural integrity over manual coding.
  • The decreasing marginal cost of code production suggests that AI can democratize software development, allowing more individuals and companies to innovate without the traditional barriers.

Concerns

  • Despite advancements, AI-generated code often contains errors, highlighting the critical need for thorough code reviews and verification processes to ensure reliability.
  • As AI becomes more autonomous in coding, the risk of producing untested and potentially flawed software increases, posing significant challenges for quality assurance.

Related Articles

Code Is Cheap Now, And That Changes Everything | Pere Villega

Code Is Cheap Now, and That Changes Everything

Apr 9, 2026

Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

Leanstral: Open-Source foundation for trustworthy vibe-coding

Mar 16, 2026

Lean proved this program was correct; then I found a bug.13 Apr, 2026 lean formal_verification security fuzzing

Lean proved this program correct; then I found a bug

Apr 14, 2026

Composition Shouldn't be this Hard — Cambra

Composition Shouldn't be this Hard

Apr 24, 2026

Verified Spec-Driven Development

Verified Spec-Driven Development (VSDD)

Feb 28, 2026