Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+9,5 %
USELESS
USELESS+4,85 %
IKUN
IKUN+6,04 %
gib
gib+3,25 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+5,34 %
ALON
ALON+8,98 %
LAUNCHCOIN
LAUNCHCOIN−0,43 %
GOONC
GOONC+2,32 %
KLED
KLED+4,25 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,71 %
Boopa
Boopa+8,54 %
PORK
PORK+0,13 %
header
Jonathan Gorard
Anvendt matematiker, beregningsfysiker @Princeton Tidligere @Cambridge_Uni Å gjøre universet beregnbart.
Jonathan Gorard
Jonathan Gorard21. mars, 01:53
Nå som jeg er tilbake i Princeton etter @DARPA expMath-oppstartsarrangementet, begynner jeg å samle tankene mine om fremtiden for autoformalisering, AI for matematikk, og AI for naturvitenskap generelt. Her er hvor jeg har havnet. "Om produktive og uproduktive friksjoner"
164
Jonathan Gorard
Jonathan Gorard20. mars, 20:29
For lenge siden bestemte hjernen min seg for å lagre Amjad Masad og Andy Parsons i nøyaktig samme semantiske rom, og på en eller annen måte klarte jeg aldri å skille dem.
334
Jonathan Gorard
Jonathan Gorard20. mars, 06:59
Det er fortsatt mye å finne ut om hvordan vi integrerer oss med tankegangen til menneskelige matematikere, for bedre å fange de pedagogiske formålene med bevis, ikke bare de epistemologiske. Men jeg gleder meg til å være en del av denne reisen sammen med resten av @mathematics_inc-teamet.
Math, Inc.
Math, Inc.20. mars, 02:36
I dag, på @DARPA expMath-lanseringen, lanserte vi OpenGauss, en åpen kildekode og toppmoderne autoformaliseringsagent for utviklere og praktikere for å akselerere fremgangen i frontlinjen. Den er sterkere, raskere og mer kostnadseffektiv enn standardalternativer. På FormalQualBench, med en 4-timers timeout, slår den @HarmonicMath sin Aristoteles-agent uten tidsbegrensning. Brukere av OpenGauss kan interagere med det så mye eller lite de vil, kan enkelt administrere mange underagenter som jobber parallelt, og kan utvide / modifisere / introspektere OpenGauss fordi det er tillatende åpen kildekode. OpenGauss ble utviklet i tett samarbeid med vedlikeholdere av ledende åpen kildekode AI-verktøy for Lean. Les rapporten og prøv den ut:
124