IsoFLOP curves of large language models are flat(severelytheoretical.wordpress.com)

27 points by alexmolas 2 years ago | 5 comments

Can AI do maths yet? Thoughts from a mathematician(xenaproject.wordpress.com)

372 points by mathgenius 1 year ago | 317 comments

Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.

Automated feature testing of Verilog parsers using fuzzing(johnwickerson.wordpress.com)

7 points by matt_d 2 years ago | 2 comments

Think of a Number(xenaproject.wordpress.com)

23 points by IdealeZahlen 1 year ago | 3 comments

Sierpiński Triangle? In My Bitwise and?(lcamtuf.substack.com)

204 points by guiambros 1 year ago | 49 comments

Fermat's Last Theorem – how it’s going(xenaproject.wordpress.com)

422 points by verbify 1 year ago | 206 comments

Kevin Buzzard's Xena Project blog post giving a progress update on formalizing the proof of Fermat's Last Theorem in the Lean theorem prover.