Grokipedia Created 2025-11-05 Updated 2025-12-25
Novel 2025-11-05
I, Claudius 2025-11-05
Type of book 2025-11-05
Updates OurBigBook Project Update March 2025 Created 2025-11-05 Updated 2026-01-30
This is a summary of the status of the OurBigBook Project, focusing notably on the past 9 months that I've been able to devote fully to it starting June 2024 notably due to the anonymous 1000 Monero donation and other supporters.
I have 3 months left and after unless some crazy person gives more money, I'll go back to some generic programming job that could be done by many other people so that my wife won't kill me. Hopefully I'll find something in quantum computing or AGI research this time that is not too boring, but we'll see.
I should also note that I have raised my requirement for a second year full time from 100k USD to 200k USD, such that there are about only 144k USD missing as of writing, a bargain. See also Section "Sponsor Ciro Santilli's work on OurBigBook.com". I have also set a 2M USD retirement goal in case someone wants to free me to lurk after university students for the rest of my life. Creepy.
The reason for this increase is partly because I'm jealous watching my university peers getting relatively richer and richer than me. More seriously though, as I'm likely going to be looking for a job soon, I don't want to scare employers off too much thinking that it is likely that I'll be leaving in a few months too easily. Plus inflation and the natural lack of security that such endeavour brings.
GPT-5 2025-10-27
Project Euler problem 961 Created 2025-10-27 Updated 2026-04-25
Andrew He 2025-10-27
Competitive programmer 2025-10-27
Updates Getting banned from Project Euler Created 2025-10-27 Updated 2025-11-05
I have been banned from Project Euler for life, and cannot login to my previous account projecteuler.net/profile/cirosantilli.pn
The ban happened within 12 hours of me publishing a solution to Project Euler problem 961 github.com/lucky-bai/projecteuler-solutions/pull/94 which was one-shot by a free GPT-5 account as MathArena had alerted me to being possible: matharena.ai/?comp=euler--euler&task=4&model=GPT-5+%28high%29&run=1
The problem leaderboard contains several people solved the problem within minutes of it being released, so almost certainly with an LLM.
The "secret club" mentality is their only blemish, and incompatible with open science.
They should also make sure that LLMs don't one shot their future problems BEFORE publishing them!
Project Euler problem 943 Created 2025-10-27 Updated 2026-04-25
ARC-AGI is a black hole for early retired tech and finance bros Created 2025-10-27 Updated 2026-03-05
People who do cool open tech stuff when don't need money anymore are awesome:
- François Chollet, project founder: www.linkedin.com/in/fchollet/ 9 years at Google from 2015 to 2024. He founded ARC while he was still at Google though, so maybe doesn't count
- Cristiano Calgano from cristianoc/arc-agi-2-abstraction-dataset. Imperial College London researcher who founded a formal verification company and sold it to Facebook where he staid for 7 years
cristianoc/arc-agi-2-abstraction-dataset Created 2025-10-27 Updated 2025-12-13
Contains 120 DSL implementations for the
From another awesome retired tech bro that does this project for fun.
Dynamic programming 2025-10-27
Greedy algorithm 2025-10-27
Kolakoski sequence 2025-10-27
Class of algorithm 2025-10-27
Conjecture by Erdős 2025-10-27
erdosproblems.com 2025-10-27
Cool website tracking the status of varios
Unlisted articles are being shown, click here to show only listed articles.