Grilled Cheese

ExploreLog inSign up
Terms of UsePrivacy PolicyCommunity StandardsHelpGet the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-13 09:58:44 EDT

Explore

PostsPeople
LatestRanked
Load more
@dailybaltic.comOct 8, 2026, 11:15 AM

More than 10,700 take part in Estonia’s online maths challenge #education #Estonia #mathematics

@jeandeslunes.bsky.socialOct 8, 2026, 10:10 AM

#fractal #fractalart #fractalwork #fractalartwork #artwork #math #mathematics #art

Photo, no description
@paysmaths.bsky.socialOct 8, 2026, 10:00 AM

Theorem of the Day (October 8, 2026) : Thales’ Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/7StJSj6
notes : buff.ly/UU6UByz

#mathematics #maths #math #theorem

Comprehensive presentation of the "Theorem of the Day", starting with a statement of this theorem. Thales’ Theorem : If one side of a triangle inscribed in a circle forms a diameter of the circle then it is a right triangle.
@securityonline.bsky.socialOct 8, 2026, 8:38 AM

Has the new OpenAI math model breakthroughs conquered the Riemann Hypothesis? Discover how the unreleased ChatGPT Pioneer Model shocks the academic community.

#OpenAI #Mathematics #AIBreakthrough #ChatGPT #TechNews

@fedifind.bsky.socialOct 8, 2026, 8:21 AM

Researchers raced to beat an AI proof of the Unique Games problem and published their own milestone result just in time https://www.quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007/ #science #ai #mathematics

@fediboard-science.bsky.socialOct 8, 2026, 8:13 AM

In the shadow of a rumored AI proof of one of the biggest problems in their field, three computer scientists rushed to publish their own milestone result. The post As AI Closed In on 'Unique Games'…

#science #ai #mathematics

@madrobotblog.bsky.socialOct 8, 2026, 7:50 AM

OpenAI put 722 AI-written maths papers on GitHub, then pulled three of them a day later

#OpenAI #Mathematics #AI

@dailybaltic.comOct 8, 2026, 7:45 AM

OpenAI releases 722 mathematical papers at once #artificialintelligence #mathematics #research

@scotsbme.bsky.socialOct 8, 2026, 7:30 AM

-

To the moon and back .......

#MargaretHamilton #Moon #Apollo #NASA #ComputingPioneer #SoftwareDeveloper #Artist #SoftwareEngineer #Humankind #Creative #MIT #ApolloGuidanceComputer #Mathematics #DigitalSkills #Education #Computer #DigitalLiteracy #Community #Earthling #Art #Hope #PlanetEarth

Photo, no description
@grace-digital-cafe.bsky.socialOct 8, 2026, 7:22 AM

-

You took us to the moon .......

#MargaretHamilton #Moon #Apollo #NASA #ComputingPioneer #SoftwareDeveloper #Artist #SoftwareEngineer #Humankind #Creative #MIT #ApolloGuidanceComputer #Mathematics #DigitalSkills #Education #GRACEDigitalCafe #Computer #DigitalLiteracy #Community #Earthling #Art

Photo, no description
@dailybaltic.comOct 8, 2026, 7:15 AM

Math anxiety drives young people away from mathematics #education #Estonia #mathematics

@dailybaltic.comOct 8, 2026, 4:45 AM

Math anxiety drives young people to avoid the subject #education #mathematics #students

@nic221.bsky.socialOct 8, 2026, 3:47 AM

The Mathocalypse scottaaronson.blog?p=10169 #AI #mathematics #mathematicians

Text Shot: While my son was being a brat, he also wasn’t wrong. Whether you’re thrilled, depressed, angry, or whatever else about it, yesterday was surely one of the biggest days in mathematical history. And yes, among the 372 huge results released yesterday by OpenAI, on the recommendation of its advisory group of Timothy Gowers, Edward Witten, and other distinguished mathematicians, was a proof of Subhash Khot’s Unique Games Conjecture (UGC), a statement that my wife has worked toward proving for the entire time I’ve known her. (The UGC implies that a whole slew of optimization problems really are NP-hard, even if you just want an approximation that’s slightly better than what you get from semidefinite programming relaxation, which is one of our main tools.)
@pulseofnations.lolOct 8, 2026, 3:42 AM

OpenAI released 377 new mathematical results spanning algebra, number theory and topology, verified with the Lean proof assistant, but mathematicians question the process and the model behind them.

#AdvisoryBoard #Lean #Mathematics #NavierStokes #OpenAI #Research

@news.karthihegde.devOct 8, 2026, 3:05 AM

Monte-Carlo simulations
tech_blogs_eli_bendersky | Author: Eli Bendersky

#Mathematics

@securityonline.bsky.socialOct 8, 2026, 1:20 AM

Discover how the latest OpenAI math model solutions resolve hundreds of unsolved problems, sparking debates on ethics and research norms in mathematics.

#OpenAI #MathModel #AGMAI #ArtificialIntelligence #Mathematics

@jeandeslunes.bsky.socialOct 8, 2026, 1:17 AM

#fractal #fractalart #fractalwork #fractalartwork #artwork #math #mathematics #art

Photo, no description
@darkuncle.infosec.exchange.ap.brid.gyOct 8, 2026, 12:16 AM

this from Quanta on the topic is a good read: https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/ #maths #mathematics