[📪정보] 골든 잼민, 도구 사용 안했다

[익명(121.178)]

OpenAI랑 동일하게 도구나 Lean(형식 언어) 사용 안했다

GOOD NEWS!

I cannot emphasize this enough: the system use no tools, no lean — text in, text out. And the more we scale inference compute, the more accurate the proofs get, while still reading like natural text.

— Archit Sharma (@archit_sharma97) July 21, 2025

https://x.com/archit_sharma97/status/1947361345201938880

[A.I.(sugary6707)]

개추 - dc App

[익명(endure0910)]

툴 사용 안했다는 건 처음 언급이네 개추

[Weisser_Adler(adler1)]

[203847년걸리겠죠(awful6856)]

[ㅇㅇ 1(125.130)]

구글은 그럼 OpenAI가 먼저 발표때린거에 긁힌거였나

[ㅇㅇ 2(175.123)]

자기들은 룰 다 따르면서 진행하는데 쟤는 지 멋대로 해버리면 화낼만 하지

[익명(175.118)]

애초에 비공식 참여라 뭐 따를 필요있나 ㅋㅋ

[익명(sigh9970)]

[Asi(worship5388)]

굳

[익명(myth4961)]

굿

[순문희재(musical5073)]

[ㅇㅇ 3(220.126)]

구글< 공식참여 Oai< 비공식 자체시험 구글 승

[배급견이될래요(aware9711)]

[낭만적특이점(next1842)]

[산시야(logical6358)]