Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)

Screenshot of mathathonchallenge.com: Caltech Mathathon – first hackathon ever devoted to research level mathematics

First screen, captured 1 month ago.

Looks similar

Aura-State: Formally Verified LLM State Machine Compiler

17 points by rohanmunshi08 7 months ago | 5 comments

Screenshot of scientificamerican.com: Did OpenAI solve the wrong Navier-Stokes problem?

Did OpenAI solve the wrong Navier-Stokes problem?(scientificamerican.com)

92 points by tomjakubowski 1 month ago | 46 comments

Scientific American article on whether OpenAI's claimed Navier-Stokes proof qualifies for the $1-million Millennium Prize only through a controversial loophole.

navier-stokes openai millennium-prize mathematics

Launch HN: Cerebrium (YC W22) – Serverless Infrastructure Platform for ML/AI

46 points by za_mike157 2 years ago | 32 comments

Screenshot of semianalysis.com: Microsoft Swallows OpenAI's Core Team – GPU Capacity, Incentives, IP

Microsoft Swallows OpenAI's Core Team – GPU Capacity, Incentives, IP (semianalysis.com)

208 points by rbanffy 2 years ago | 95 comments

Screenshot of openai.com: Sharing AI progress in mathematics

Sharing AI progress in mathematics (openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

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

openai ai-for-math mathematics research

Screenshot of garymarcus.substack.com: OpenAI probably can't make ends meet. That's where you come in

OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com)

88 points by treadump 11 months ago | 52 comments