Updates OurBigBook Project Update March 2025 by
Ciro Santilli 40 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.
Updates Getting banned from Project Euler by
Ciro Santilli 40 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!
ARC-AGI is a black hole for early retired tech and finance bros by
Ciro Santilli 40 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
Contains 120 DSL implementations for the
From another awesome retired tech bro that does this project for fun.
Cool website tracking the status of varios
There are unlisted articles, also show them or only show them.