Towards Autonomous Mathematics Research
Abstract:Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from competition-level problem-solving to professional research, however, requires navigating vast literature and constructing long-horizon proofs. In this work, we introduce Aletheia, a math research agent that iteratively generates, verifies, and revises solutions end-to-end […]
Palantir Gets Millions of Dollars from New York City’s Public Hospitals
New York City’s public hospital system is paying millions to Palantir, the controversial ICE and military contractor, according to documents obtained by The Intercept. Since 2023, the New York City Health and Hospitals Corporation has paid Palantir nearly $4 million to improve its ability to track down payment for the services provided at its hospitals […]
LT6502: A 6502-based homebrew laptop
A 6502 based laptop design Yes, I know I’m crazy, but I figured why not. I’m enjoying working the PC6502 project but having a little tower of PCBs on the sofa isn’t the best. It’s very simple, these are the specs 65C02 running at 8MHz 46K RAM BASIC in ROM 65C22 VIA (for timers and […]
EU bans the destruction of unsold apparel, clothing, accessories and footwear
The European Commission today (Feb 9) adopted new measures under the Ecodesign for Sustainable Products Regulation (ESPR) to prevent the destruction of unsold apparel, clothing, accessories and footwear. The rules will help cut waste, reduce environmental damage and create a level playing field for companies embracing sustainable business models, allowing them to reap the benefits […]
Palantir vs. the ”Republik”: US analytics firm takes magazine to court
Palantir objects to ”significant inaccuracies” in the reporting of the magazine ”Republik”. (Bild: Screenhot/heise medien) Data analysis provider Palantir wants to obtain a counterstatement in court – and triggers a wave of solidarity for a small Swiss magazine. Palantir Technologies, the US provider of analytics software, finds itself directly affected by two reports from the Swiss […]
Hideki Sato, designer of all Sega’s consoles, has died
Hideki Sato, the designer behind virtually every Sega console, and the company’s former president, has died age 77. Japanese games outlet Beep21 reports that Sato passed away this weekend. Sato and his R&D team were responsible for the creation of PC [11,949 articles]” href=”https://www.videogameschronicle.com/platforms/pc/”>PC for beginner-level users. At that time, Sega only did arcade games, […]
An Enslaved Gardener Transformed the Pecan into a Cash Crop
Pecan nuts were already a dietary staple for Native Americans in various parts of what is now the United States before Antoine’s innovation established the basis for a commercial pecan industry. This use of pecans by Indigenous people should not be surprising given that that the name of the nut, “pecan,” itself is thought to […]
Gwtar: A static efficient single-file HTML format
Gwtar is a new polyglot HTML archival format which provides a single, self-contained, HTML file which still can be efficiently lazy-loaded by a web browser. This is done by a header’s JavaScript making HTTP range requests. It is used on Gwern.net to serve large HTML archives. Archiving HTML files faces a trilemma: it is easy […]
Show HN: Perlin Noise Terminal Animation in Rust (60 FPS, Truecolor)
Beautiful Perlin noise animation for your terminal. Smooth, flowing gradients rendered in 24-bit truecolor using half-block characters for double vertical resolution. Truecolor rendering — Full 24-bit RGB color gradients Double vertical resolution — Uses ▀ half-block characters to render 2 pixels per cell Multiple color themes — Ocean, Fire, Aurora, Matrix Smooth animation — Multi-octave […]
Amazon, Google Unwittingly Reveal the Severity of the U.S. Surveillance State
Just a decade after a global backlash was triggered by Snowden reporting on mass domestic surveillance, the state-corporate dragnet is stronger and more invasive than ever. One of Google’s Nest surveillance cameras, whose recordings can be accessed by Google even if users don’t subscribe to the security firm’s services. CC Photo Lab / Shutterstock That […]