Ciro Santilli

@cirosantilli
10 Followers
2 Following
335 Posts
https://cirosantilli.com
Homepagehttps://cirosantilli.com
Stack Overflowhttps://stackoverflow.com/users/895245
GitHubhttps://github.com/cirosantilli
Ciro SantilliFeb 15
The answer to Project Euler 984 https://projecteuler.net/problem=984 is 885722296. Solved by codex 5.3 xhigh in 39 minutes with 188,054 tokens. https://github.com/cirosantilli/project-euler-solutions/blob/master/solvers/984.py
Ciro SantilliJan 28
https://proofassistants.stackexchange.com/questions/6460/how-to-build-all-lean-files-inside-a-directory-into-executables I am happy enough about my Lean infrastructure for: https://github.com/cirosantilli/project-euler-solutions?tab=readme-ov-file#lean Now I can start having fun if I find the patience: 1) partly-vibe formalize statements 2) vibe translate Python to Lean 3) vibe prove Lean correctness against statements
How to build all Lean files inside a directory into executables?

I'm solving a list of mathematical programming challenges in Lean. Each challenge takes runs a program and outputs a number, and to benchmark each program excluding build time, I want to produce

Proof Assistants Stack Exchange
Show threadCiro SantilliJan 27
OK managed 780now too: OK, managed 780 to now: https://github.com/cirosantilli/project-euler-solutions/blob/master/solvers/780.py
project-euler-solutions/solvers/780.py at master · cirosantilli/project-euler-solutions

This repo aims to solve ALL Project Euler problems in openly licensed Python code, mostly using LLMs to generate the bulk of the solutions. - cirosantilli/project-euler-solutions

GitHub
Show threadCiro SantilliJan 25
The answer to project euler 980 https://projecteuler.net/problem=980 is 124999683766
Show threadCiro SantilliJan 24
This is the type of project that fits well in my brain: data mine a naughty list of 1000 items with scripts and hands, similar to https://ourbigbook.com/cirosantilli/cia-2010-covert-communication-websites and https://ourbigbook.com/cirosantilli/cool-data-embedded-in-the-bitcoin-blockchain
CIA 2010 covert communication websites - Ciro Santilli (@cirosantilli) - OurBigBook.com

Show threadCiro SantilliJan 24

I vibe coded the test infrastructure, and tried to generate solutions via API, but that was too expensive and unreliable, so the majority of the work was done by painstakingly (and meditatively) copy pasting from chatgpt.com web UI. Nothing to be proud of.

Thanks to Igor Van Loo https://github.com/igorvanloo/Project-Euler-Explained and Stephan Brumme https://github.com/stbrumme/euler whom I plundered many pre-existing CC0 solutions from.

GitHub - igorvanloo/Project-Euler-Explained: Project Euler Explained, codes used to solve Project Euler problems

Project Euler Explained, codes used to solve Project Euler problems - igorvanloo/Project-Euler-Explained

GitHub
Ciro SantilliJan 24
https://github.com/cirosantilli/project-euler-solutions I've created a GitHub repository with Python solution to ALL 979 Project Euler problems https://projecteuler.net/ EXCEPT #780 which was too hard. PRs open. This was done by first consolidating existing solutions and then generating the rest with ChatGPT. This is the first time this has ever been done. While not very useful, it is beautiful, and will actually measurably save some people some time and money. Thinking of generating some Lean solutions with proofs next.
GitHub - cirosantilli/project-euler-solutions: This repo aims to solve ALL Project Euler problems in openly licensed Python code, mostly using LLMs to generate the bulk of the solutions.

This repo aims to solve ALL Project Euler problems in openly licensed Python code, mostly using LLMs to generate the bulk of the solutions. - cirosantilli/project-euler-solutions

GitHub
Ciro SantilliJan 18
The answer to Project Euler 979 https://projecteuler.net/problem=979 is 189306828278449. One-shot by Codex with 130k tokens in 18 minutes and chatgpt.com web UI Plus "Extended Thinking" with one "continue" in about 40 minutes. Generated code: https://github.com/cirosantilli/project-euler-solvers/blob/master/solvers/979.py
Ciro SantilliJan 11
The answer to Project Euler 978 https://projecteuler.net/problem=978 is 254.54470757, one shot on ChatGPT 5.2 web UI Extended Thinking in 5 minutes. Disapponting. If anyone wants to throw LLMs at harder problems see missing ones from: https://github.com/cirosantilli/project-euler-solvers
Ciro SantilliJan 4
The solution to Project Euler 977 https://projecteuler.net/problem=977 is 537945304. One-shot with Codex in 16 mins and 91k tokens. Here is the code it produced: https://github.com/cirosantilli/project-euler-solvers/blob/master/solvers/977.py