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-17 10:27:03 EDT

PhotosVideosAllPeople
LatestRanked
@jalonso.eurosky.socialOct 3, 2026, 10:13 AM

AIM: an invitation to explore mathematics together. ~ Matthew Colbrook. terrytao.wordpress.com/2026/10/02/a... #AI4Math

@jalonso.eurosky.socialOct 2, 2026, 10:32 AM

Reseña de «To grieve, or not to grieve? (Mathematics and AI)». jaalonso.github.io/vestigium/po... #AI4Math

@jalonso.eurosky.socialOct 2, 2026, 10:13 AM

To grieve, or not to grieve? (Mathematics and AI). ~ Kevin Buzzard. xenaproject.wordpress.com/2026/10/01/t... #AI4Math

@jalonso.eurosky.socialOct 1, 2026, 4:34 PM

What did the Lean proof of Fermat's Last Theorem formalize? ~ Justin Asher. justinasher.me/what-did-the... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialOct 1, 2026, 4:31 PM

Formalize everything, now! ~ Justin Asher. justinasher.me/formalize-ev... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialOct 1, 2026, 12:52 PM

Reseña de «AI solves a ‘holy grail’ problem from probability theory». jaalonso.github.io/vestigium/po... #AI4Math

@jalonso.eurosky.socialOct 1, 2026, 12:01 PM

The Odlyzko–Poonen conjecture on irreducibility of random polynomials. ~ Constantin Kogler. arxiv.org/abs/2609.26771 #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 11:22 AM

Reseña de «Can AI truly prove anything?» jaalonso.github.io/vestigium/po... #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 10:51 AM

Can AI truly prove anything? ~ Stepan Nesterov. proofsandprompts.com/2026/09/29/c... #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 9:40 AM

Sage: Formalization with semantic correction. ~ Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni, Xiang Zhou, Wengping Deng, Liang Zhang. arxiv.org/abs/2609.35790 #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 9:35 AM

A constructive ATLAS of finite simple groups in Lean. ~ Gerald Höhn. arxiv.org/abs/2609.35847 #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 9:20 AM

Reseña de «Responsible release of AI-generated mathematics». jaalonso.github.io/vestigium/po... #AI4Math

@jalonso.eurosky.socialSep 30, 2026, 9:11 AM

Responsible release of AI-generated mathematics. ~ Advisory Group on Mathematics and Artificial Intelligence. agmai.org/general-sep29/ #AI4Math

@jalonso.eurosky.socialSep 29, 2026, 10:39 AM

Reseña de «Applied mathematics has met the machine before». jaalonso.github.io/vestigium/po... #AI4Math

@jalonso.eurosky.socialSep 29, 2026, 10:16 AM

Applied mathematics has met the machine before. ~ Denys Dutykh. proofsandprompts.com/2026/09/28/a... #AI4Math

@zazbrown.comSep 27, 2026, 5:51 PM

zazbrown.com/research/pap... #Math #AI4Math #LeanProver

@jalonso.eurosky.socialSep 27, 2026, 4:53 PM

Formalization of Langlands’s first main lemma for local epsilon factors. ~ Fukuhiro Ueda. hal.science/hal-05746185... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 27, 2026, 11:13 AM

#Vestigium: Formalización del libro "Calculus" de Spivak en Lean 4. jaalonso.github.io/vestigium/po... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 27, 2026, 10:59 AM

Lean 4 formalization of Michael Spivak's "Calculus" (covering both the 3rd and 4th editions). ~ Jon-Erik G. Storm. github.com/stormj-UH/sp... #LeanProver #ITP #AI4Math

@jalonso.eurosky.socialSep 25, 2026, 4:56 PM

Summit on PhD math education in the age of AI. cmsa.fas.harvard.edu/aimathphd_su... #AI4Math

Load more