How I Vibed a Proof of Conway’s Conjecture — overreacted
Dan a vide codé du lean pour prouver une conjecture de Conway pendant 6+ semaines, et avec un budget de tokens équivalent à 40 k$ en API (2 souscriptions Max 20x, donc 2x200$/mo).
Ça me refait penser à et ça confirme les propos de l'article de Zitron, au moment où il disait que la seule raison pour laquelle on utilise ces LLMs qui hallucinent/mentent/etc. c'est parce que c'est complètement gratuit par rapport au coût réel.
Est-ce que Dan aurait payé 40 k$ de tokens pour s'amuser à essayer de prouver une conjecture ? J'en doute.
Extraits cités issus de ce lien visité le , crédits: Dan Abrahamov