ai-assisted

The irrationality of ζ(5) has been proved using an AI-assisted method, and the solution is marked as solved on FrontierMath despite not following the Apéry-style proof as initially sought.

The tweet describes using Claude Opus 5.5 to build an interactive Raptor 3 rocket engine simulation in the browser, allowing users to explore how rocket engines work through hands-on interaction.

A bug in the atomic add instruction of LoongArch LA664 CPUs caused infinite loops during software packaging; it was identified with AI assistance and fixed by Loongson with a firmware update.

The author built jev-test-impact, a tool that uses Git diffs and static dependency analysis with Jev to score and run only relevant tests, aiming to improve regression recall in testing workflows.

Using Opus 5.5 (Extra), the author built a single HTML file that implements a deep-zoom Mandelbrot explorer and Conway's Game of Life, capable of diving to 10^300 with high-precision math and WebGL2 optimizations.

MiniPIM è uno strumento di gestione del catalogo prodotti per PMI italiane che integra file Excel e canali di vendita, con opzioni AI per l'arricchimento dei testi, offrendo un'istanza dedicata e conformità UE.

A user runs a local LLM on an RTX 3090 to create a basic FPS zombie game and plans to improve its graphics overnight.

The author built an AI-assisted payroll calculation tool to help small and medium-sized business owners in Japan understand the total cost of employee salaries, including taxes and insurance.

Higgsfield AI introduced a ChatGPT plugin for After Effects that automates motion design by writing expressions and managing projects, making animation easier.

MengTo used the AI tool Astra to create a Catan board game in three.js, featuring animations, instructions, AI players, and trading, and is now planning to develop more games based on this foundation.

Simon Willison created a web-based video compression tool using Claude Fable 5.1 and FFMPEG WebAssembly to quickly generate optimized video files with customizable presets for blog publishing.

Archaeologists discovered cave art in Ireland dating back 15,000 years, suggesting the first humans walked over from Wales during the Ice Age using a lost land bridge, with AI helping to locate the sites.

The paper introduces LoopCAT, a local-first, open-source computer-assisted translation environment for educational use, and proposes a framework to enhance technological agency in translation students.

A web-based tool for viewing and customizing GeoJSON data on an interactive OpenStreetMap, developed with AI assistance and useful for visualizing geographic boundaries.

Introducing wrapture, a new Python library for monkeypatching, testing, and tracing with OpenTelemetry support, entirely AI-assisted in its development.

Proofrr is a workspace tool for creative projects that streamlines feedback, reviews, and approvals with features like side-by-side comparison, annotations, and AI-assisted reviews.

The article announces the complete decompilation of the Nintendo 64 game Snowboard Kids in 84 days, highlighting community contributions and AI assistance for faster progress compared to previous projects.

The world's first brain surgery with real-time AI assistance successfully removed a tumour, allowing surgeons to avoid vital vessels and nerves and enhance patient safety.

system-atlas is a tool that builds interactive isometric maps of codebases, agents, or pipelines to improve system understanding through visual progressive disclosure.

Shadow-planner is a desktop project planner featuring AI-assisted Gantt chart planning with dependencies and what-if scenarios, running locally on Ollama models with a one-time purchase.