🦆 Put AI agents to work to help your robot learn to navigate.
Using Microduck as the reference robot, this walkthrough shows how to create a simulated obstacle course with @OpenAI GPT-6 Astra, build 3D assets with @nvidiaomniverse libraries, simulate physics with Newton, train policies in NVIDIA Isaac Lab, and validate them in Isaac Sim on @NVIDIARTXSpark.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: https://t.co/zUyx8CjBEk
C-COM Q-band antenna tracks stratospheric cell platforms 📡
Ottawa's C-COM Satellite Systems has developed a vehicle-mounted Q-band antenna that follows communications platforms flying about 20 km up 🛰️
🎈 High-altitude platform stations (HAPS) act as airborne cell sites, and each one needs a ground gateway to reach the terrestrial network. C-COM's iNetVu 1200+ puts that gateway on a vehicle.
👉 Read the full story on SpaceQ: https://t.co/p4RJ3YK2mT
#SpaceQ #HAPS #SatelliteCommunications #CanadianSpace #NonTerrestrialNetworks
📣 Photon Design (@photond) updates its HAROLD QD quantum-dot laser simulator, cutting runtime by more than half and improving precision on standard laptops or workstations without cloud processing. https://t.co/QktafnTK6o #EPICMemberNews#Photonics#QuantumDots
New on our Engineering blog: Creating in-house source control.
In May, we merged around 2,500 code changes per day. In September, we merged more than 30,000 per day. As a result, we became bottlenecked by developer infrastructure built for human (rather than agent) scale.
Here, we share how we built a new version control system—and fully migrated our monorepo from git—in five months: https://t.co/wzNkwHs7IN
Light Is the Infrastructure: Space Solar Power Takes Its First Power Purchase Agreement, NASA and DOE Put the Reactor Path on Paper, and a CubeSat Laser Goes Routine , by @NunoEngineering#EWCSpaceDeltaV https://t.co/WJde63F4Km
New essay for the @GoogleDeepMind Institute with James Manyika on AI x Science, "Bending the Curve of Discovery".
While accelerating existing scientific practices is certainly useful, the real promise of AI is its potential to act as an invention of a method of invention (IMI) a la Griliches--e.g., the microscope or statistical inference--which would unlock questions and whole modes of discovery that were previously beyond human reach.
Today, LLMs and specialized models like AlphaFold act as economic complements. LLMs handle analysis, coding, and writing, while specialized tools handle domain-specific predictions. Most handoffs between them run through the scientist.
What may the future of science look like? LLMs orchestrating those handoffs automatically--prompting specialized models, auditing outputs, and looping until either the question is answered or a non-automated stage is reached (e.g., wet lab testing). The scientist's role shifts from running each step to designing this loop. We saw a glimpse of this workflow with Anthropic’s enzyme discovery a few weeks ago, and we're seeing this in our own work too.
This raises foundational epistemic questions:
1. What will scientific understanding look like when discoveries are made by black-box models whose output is increasingly difficult to interpret?
2. How do we extract underlying mechanisms, not just outputs, as science becomes more automated? What will theory look like?
3. If AI automates the writing and junior lab work, how do we train the next generation of scientists to push the frontier?
4. What will motivate scientists in this epistemic reality?
There's an economics angle too. Hypothesis generation gets cheap, so bottlenecks move downstream to verification and to choosing which questions are worth asking. Realizing AI’s full potential will take investment in infrastructure and institutional reform--making this as much an organizational challenge as a technical one
We don't have the answers yet, and I'd love to hear what others think.
Paper here: https://t.co/kvHCFMIFmL