GPT-5.6 reportedly closes 30-year-old gap in convex optimization research

·5 views

OpenAI's GPT-5.6 is reported to have used a prompt to address a long-standing open problem in convex optimization that had remained unsolved for approximately 30 years. The development follows a separate announcement by OpenAI regarding a CDC-related proof, suggesting a broader pattern of AI systems contributing to advanced mathematical research. The claim surfaced on Reddit's mathematics community and gained attention on Hacker News. Details about the specific nature of the optimization gap and the methodology used by the model remain limited in the available reporting.

Read the full story at Hacker News

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Polish Developer Launches Windows Monitor App on Microsoft Store After Warehouse Job Loss

Marcin Firmuga, a Polish developer, has launched PC Workman — a Windows system monitoring application — on the Microsoft Store after building it during nights following a warehouse job loss in the Netherlands days before Christmas. Working 15-kilometre daily shifts for roughly 19 złoty an hour, Firmuga coded on an overheating 2014 laptop between shifts to develop the tool. PC Workman version 1.8.0 aims to explain not just that a PC is slow, but why, using an on-device AI assistant called hck_GPT that requires no internet connection or API key. The assistant reads live hardware data and responds in plain language, processing queries through a local intent-parsing system built entirely by Firmuga. The project began as a means of survival and personal purpose during financial hardship, ultimately resulting in a publicly available Windows application.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

How One Developer Built a Fault-Isolated, Multi-Exchange Spot Trading Bot

A developer is building NOVA, a Telegram-based bot that automates repeatable spot trading cycles without predicting markets or using leverage. The core design challenge was executing user-defined buy-sell sequences reliably across failures like dropped HTTP responses, WebSocket disconnections, and mid-cycle process restarts. To prevent exchange-specific details from leaking into business logic, the architecture strictly separates normalized trading concepts from raw exchange API behavior. Each market pair runs in its own isolated process with its own API credential context, limiting the blast radius of any single failure. The system requires only read and spot-trading permissions, deliberately excluding withdrawal access to reduce security risk.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer Rebuilds Browser OS for Mobile by Ditching the Desktop Window Model

A developer has released GnokeStation 2 (GS2), a browser-based mobile OS that replaces the traditional floating-window desktop metaphor with a tab-as-process model, where each tab occupies the full screen independently. The shift was driven by the impracticality of running a shared-canvas, windowed UI on a 5-inch smartphone screen, a limitation the developer says no amount of code polish could fix. GS2 uses a layer called gnoke-spirit to continuously save tab state to IndexedDB, allowing backgrounded tabs killed by the OS to resume rather than reload from scratch. The system is designed to be offline-first, with local storage as the source of truth and no dependency on accounts or remote servers. The developer claims GS2 can run roughly double the app tabs of a standard mobile browser at the same memory footprint by sharing a single browser runtime instead of duplicating engine overhead per app.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Why giving a free, working result beats making a promise in marketing

A field note published on DEV Community argues that marketers should replace outcome promises with actual free, working tools or templates that deliver results immediately. The core logic is that handing someone a real win before asking for money or even an email builds trust far more effectively than any claim. However, the author warns that three conditions must be met: the free offering must be genuinely excellent, it must be reusable at near-zero marginal cost rather than bespoke labor, and it needs sufficient audience reach to matter. A mediocre free tool, the piece cautions, actively harms credibility, while personalized free setups risk burning out creators through unscalable unpaid work. The author concludes that leading with proof over promises is both an ethical and commercially stronger approach, provided these guardrails are respected.

0 comments Read more at DEV Community