Cool data embedded in the Bitcoin blockchain Bitcoin Burn Addresses: Unveiling the Permanent Losses and Their Underlying Causes Created 2025-03-24 Updated 2026-04-05
By Mohamed el Khatib and Arnaud Legout.
Both autors were at Inria Centre at Université Côte d'Azur, Mohamed the intern and Arnaud the Inria researcher employee.
Cool, this method could reveal novel P2FKH images:208,656 addresses suspected to be burn addresses because they have a low Shannon entropyUnfortunately their method might not be well suited for finding images, later on:
Our model identified 7,905 true burn addresses from a pool of 1,283,997,050 addresses with only 1,767 false positive.
Data for their results can be found at:
Colin Hughes Created 2025-03-24 Updated 2025-07-16
Claude says he's from the UK and has a background in mathematics. Oxbridge feels likely. How I Failed, Failed, and Finally Succeeded at Learning How to Code says he started off on the ORIC computer, which is British-made, so he is likely British.
How I Failed, Failed, and Finally Succeeded at Learning How to Code Created 2025-03-24 Updated 2025-07-16
Project Euler as an AI benchmark Created 2025-03-24 Updated 2026-01-30
The beauty of Project Euler is that it would serve both as a AI code generation benchmark and as an AI Math benchmark!
justdropped.com Created 2025-03-24 Updated 2025-07-16
AGI House Created 2025-03-24 Updated 2025-07-16
Article by James Somers Created 2025-03-24 Updated 2025-07-16
Expired domain tracker Created 2025-03-24 Updated 2025-07-16
AGI interest group Created 2025-03-24 Updated 2025-07-16
Autoformalization Created 2025-03-24 Updated 2025-10-14
"Autoformalization" refers to automatically converting a traditional human readable mathematical proof to a formal proof.
SWE-bench Created 2025-03-24 Updated 2025-10-14
By Princeton people.
This one aims to solve GitHub issues. It appears to contain 2,294 real-world GitHub issues and their corresponding pull requests.
Evaluation is simply based on "does the pull request make some pre-written failing test cases pass".
The dataset appears to be at: huggingface.co/datasets/princeton-nlp/SWE-bench in Parquet format.
Mathematical olympiad Created 2025-03-24 Updated 2025-07-16
Bitcoin Inscription service Created 2025-03-24 Updated 2025-07-16
Knowledge olympiad by domain of knowledge Created 2025-03-24 Updated 2025-10-14
Inscription service Created 2025-03-24 Updated 2025-07-16
We define an "Inscription service" as a website that easily allows you to pay to have arbitrary data inscribed on a blockchain.
Inscription system Created 2025-03-24 Updated 2025-07-16
We define an "inscription system" as a software or service that facilitates the creation of inscriptions.
Apache Parquet Created 2025-03-24 Updated 2025-07-16
Philosophiæ Naturalis Principia Mathematica Created 2025-03-24 Updated 2025-07-16
Evan Chen Created 2025-03-24 Updated 2025-07-16
Terence Tao Created 2025-03-24 Updated 2025-07-16
The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as formal proof systems (notably Lean), automated theorem proving and forum-like collaboration as in MathOverflow[ref]. For that, huge kudos.
There are unlisted articles, also show them or only show them.
