Meta's new structured prompting technique makes LLMs significantly better at code review — boosting accuracy to 93% in some cases

This technique can be used out-of-the-box, requiring no model training or special packaging. It is code-execution free, which ...
Semiconductor Engineering

CP-Based Lot Scheduling Solutions For a Semiconductor Manufacturing (Infineon, U. of Klagenfurt)

A new technical paper, “Quantifying the Global Impact of Constraint Programming Based Local Scheduling in Semiconductor Manufacturing,” was published by Infineon and the University of Klagenfurt.

For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...

AI-driven framework uncovers new carbon structures—one thought to be harder than diamond

Through new improvements to existing AI models, researchers in China have created a framework that can methodically identify useful new forms of solid carbon. With their approach, Zhibin Gao and ...
OSTechNix

SolveSpace: Open Source CAD That Runs Fully Offline in Your Browser

SolveSpace is a free, open-source CAD tool that fits in 1MB, with a full 3D solver, parametric sketching, and a browser-based ...