ZeroHour

Search: “solidity”

19 stories

Cartesian – AI 3D Modeling for Design

Formas launches Cartesian, an AI 3D modeling tool for architecture and product design with natural-language editing and CAD exports.

Cartesian by Formas is an AI-powered 3D modeling tool aimed at architecture and product design that converts photos, rough plans, sketches, and scans into precise geometry. Users can edit models conversationally while explicitly preserved elements stay unchanged. It creates real solids and NURBS geometry and exports to AutoCAD DWG, Rhino 3DM, and SketchUp SKP, with BIM IFC support planned, removing the need for a separate desktop CAD license.

Ask HN: Anyone still coding like 2021? Where do you work?

Hacker News users debate coding without LLMs, with one developer fired for refusing AI tools and others describing daily hand-coding practice to counter skill atrophy.

An Ask HN thread collects experiences of developers who still write code without LLM assistance. One contributor says he was fired for political reasons after refusing to use LLMs despite adequate stated performance, and observes fewer job ads now require LLM use. Others describe starting each day with a LeetCode problem or 30-60 minutes of hand-coding to stay sharp, contractual bans on AI-generated code for a government-adjacent embedded product over unresolved copyright issues, and inconsistent corporate policies where ChatGPT or Codex use flip-flops between allowed and blocked while a CIO mandates 70-80% AI-generated code next year.

A Vinyl Bar in Shibuya is a startup from a former Spotify leader for making music apps

Former Spotify innovation head raises $5.5M pre-seed for A Vinyl Bar in Shibuya, a startup building playful music-creation apps with selective generative AI features.

A Vinyl Bar in Shibuya, founded by former Spotify head of innovation Máuhan M Zonoozy, raised a $5.5M pre-seed round from Mantis VC, SV Angel, Boxgroup, Quiet Capital and others. The startup ships small music-play apps including Speed Surfer, Usersound, Stacks, Drops, Sampler, and the iOS mixer app bop, plus a new prompt-based sound creation feature. Zonoozy says the company deliberately avoids infusing AI into every product, arguing human taste and participation become more valuable as AI-generated content grows abundant.

TechCrunch · AI · 2d agoAI industry 2 sources

How Fyxer built an AI executive assistant people trust

Fyxer details its OpenAI-powered AI executive assistant, orchestrating 30-50 specialized models trained on 500,000+ hours of assistant workflows.

OpenAI published a case study on Fyxer, whose AI executive assistant orchestrates 30-50 specialized OpenAI models trained on more than 500,000 hours of annotated executive assistant workflows. The system uses supervised fine-tuning, LoRA, and Direct Preference Optimization on user edits, and 53% of AI-generated email drafts are accepted as written. Fyxer's annual recurring revenue grew from $1 million to $32 million during 2025.

OpenAI News · 2d agoAI industry

OpenAI just wants to win

OpenAI says roughly 10,000 agents and tens of millions in compute solved the Navier-Stokes Millennium Prize problem in 88 hours, amid controversy.

OpenAI claims an advanced unreleased model, run with about 10,000 agents and tens of millions of dollars of compute for 88 hours, produced a solution to the Navier-Stokes problem, one of seven $1 million Millennium Prize problems set by the Clay Mathematics Institute in 2000. NYU professor Tristan Buckmaster, who was pursuing the problem with Anthropic researcher Levent Alpöge, accused OpenAI of racing his team and of possibly benefiting from his Codex prompts; OpenAI categorically denied both. OpenAI researcher Sébastien Bubeck acknowledged offering Buckmaster compute and authorship arrangements, which Buckmaster characterized as a bribe, while many mathematicians expressed unease at OpenAI's competitive conduct.

The Verge · AI · 4d agoAI industry 2 sources1

GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design

OpenAI's GPT-6 Astra tops ulam.ai's ErdosBench math benchmark with 106 of 226 problems solved, while the company prioritizes recursive self-improvement over math optimization.

OpenAI's GPT-6 Astra leads ulam.ai's ErdosBench with a score of 3.23, solving 106 of 226 open math problems and fully solving 43, ahead of GPT-5.6 Sol's 78 solved problems. Chief scientist Jakub Pachocki said OpenAI deliberately avoided targeted math optimization to prioritize recursive self-improvement and automated alignment research. Benchmark developer Przemek Chojecki estimated the gain at 5-10% across tested math-research skills. Mathematician Terence Tao warned at the 2026 International Congress of Mathematicians that AI-generated proofs could shift mathematics from proof scarcity to proof overload.

The Decoderupdated · 4d agofirst · 6d agoAI industry 11 sources1

Besxar is building an orbital semiconductor factory, one SpaceX rocket at a time

Besxar, founded by a former OpenAI staffer, raised ~$14M to prototype semiconductor manufacturing in orbit using SpaceX Falcon 9 booster flights.

Besxar, founded by former OpenAI staffer Ashley Pilipiszyn, raised almost $14 million, including a $9 million seed led by Dauntless Ventures and Overture VC, to build orbital semiconductor fabrication. Its first two "fabship" canisters flew on a July Starlink mission and returned wafer samples cleaner than comparable terrestrial wafers. The company plans to iterate over two years with a dozen Falcon 9 booster flights before flying larger fabs on Starship, targeting wafers for power-regulation chips used in data centers, robots, and electric vehicles.

TechCrunch · AI · 7d agoAI industry

Gradium Launches Voice Design: Write a Prompt, Get a Brand New Synthetic Voice in Seconds

Gradium, a Kyutai spinout, launched Voice Design, generating custom synthetic voices from text descriptions in seconds across five languages.

Gradium, a Paris-based voice AI company spun out of Kyutai, launched Voice Design, which generates new synthetic voices from 1-500 character text descriptions in seconds without needing reference audio or speaker consent. The feature is live in the Gradium API and Studio, free on every plan including the free tier, and kept voices run on the standard streaming TTS endpoint at the same latency as catalog voices. Vendor-run blind pairwise listening tests across 7,627 comparisons report a 72.6% win rate, 13.6 points ahead of ElevenLabs at 59.0%, placing first in all five tested languages, with the largest margins on regional accents such as Quebecois French (97%).

MarkTechPost · 7d agoAI industry

Meta Introduces Muse, a Personal AI Agent That Runs on Its Own Dedicated Secure Cloud Computer

Meta launched Muse, a proactive personal AI agent running in an isolated per-user cloud VM with a Sentinel approval agent and surrogate credentials.

Meta introduced Muse, a consumer agent that performs long-horizon tasks like email, travel booking, and bill negotiation, rolling out in the US on iOS, Android, muse.ai, and WhatsApp with free and paid tiers. Each user gets a dedicated Muse Secure VM where the agent runs in a systemd-nspawn cell, while a separate Sentinel agent approves every network request at layer 4/7 and injects real credentials only at the network boundary. The underlying Muse Spark 1.3 model, which Meta says cuts tool calls by ~20% and tokens by ~25% versus 1.2 and is near state-of-the-art on prompt-injection resistance, is available via Meta Model API, with open weights on the roadmap.

MarkTechPost · 8d agoAI industry

Inside the Warehouse Where Amazon Scans and Destroys Books for AI Training

Amazon's Las Vegas VGT3 warehouse destructively scans thousands of books, cutting spines and discarding pages, to build AI training data.

404 Media interviewed an anonymous Amazon employee at the VGT3 warehouse in Las Vegas, part of the same complex as the LAS8 print-on-demand facility. Workers receive shipments of books including library liquidations and University of London materials, scan them, cut the spines off with machines, and discard the loose pages irreversibly. The operation was discovered by placing a tracking device in a shipment of rare books a bookseller suspected was being acquired by an anonymous AI company. Employees described scanning barcodes to weed out duplicates and an often disorganized process that changed daily.

404 Media · 21d agoAI industry