Explore Log in Sign up

Terms of Use Privacy Policy Community Standards Help Get the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-10 01:38:52 EDT

Explore

@nile11.bsky.social Oct 7, 2026, 9:52 PM

OpenAI Drops 722 AI-Generated Math Papers, But Only 22% Are Formally Verified
..................
https://nile1.com/openai-drops-722-ai-generated-math-papers-but-only-22-are-formally-verified/
..................
#aiGeneratedProofs #andrewSutherland #anthropic #fermat'sLastTheorem #instituteForAdvance

myriad-nvidia-high-10-7.png@webp.webp

@nile11.bsky.social Oct 7, 2026, 8:14 PM

OpenAI Drops 370 AI Math Proofs, Forcing a Field Reckoning
..................
https://nile1.com/openai-drops-370-ai-math-proofs-forcing-a-field-reckoning/
..................
#aiGeneratedProofs #danLitt #formalVerification #github #instituteForAdvancedStudy #millenniumPrizeProblems #navier-stokesEqua

GettyImages-564056561-e1791395875162-bit-social-bluesky-2000x2000.webp