Watching a Z80 from an RP2350(emalliab.wordpress.com)

41 points by ibobev 4 months ago | 7 comments

Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak(vasekrozhon.wordpress.com)

140 points by pixelpoet 1 year ago | 24 comments

Picturing Mathematics(mathenchant.wordpress.com)

90 points by jamespropp 1 year ago | 3 comments

Tidy First?(henrikwarne.com)

115 points by ingve 2 years ago | 31 comments

How many floating-point numbers are in the interval [0,1]? (2017)(lemire.me)

87 points by burntcaramel 3 years ago | 41 comments

Programming with ChatGPT(henrikwarne.com)

36 points by jandeboevrie 2 years ago | 31 comments

Human brains are preconfigured with instructions for understanding the world(news.ucsc.edu)

414 points by XzetaU8 11 months ago | 284 comments

UC Santa Cruz news article reporting research suggesting early developing human brains are preconfigured with instructions for understanding the world.

Working with academic communities to build scientific understanding(openai.com)

9 points by jonluca 15 minutes ago | 1 comments

OpenAI post announcing AI-produced results in harmonic analysis, complexity theory (refuting ETH), and quantum field theory, and describing academic collaborations to verify them.

AI tools are spotting errors in research papers(nature.com)

555 points by kgwgk 1 year ago | 200 comments

Nature news article on a growing movement using AI and large language models to detect errors in research papers, sparked by a flawed black plastic utensils study.

Alonzo Church: Architect of computer intelligence(onepercentrule.substack.com)

318 points by drcwpl 2 years ago | 81 comments

A Substack essay profiling logician Alonzo Church and his solution to the Entscheidungsproblem as a foundational contribution to computer science.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 20 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.