Browsing Tag
AI-forskning
60 innlegg
AI-basert forskningsverktøy
Fara1.5 – Microsofts nettleser-AI slår OpenAI Operator med 14 prosentpoeng
Microsoft Research har sluppet Fara1.5 – en familie med nettleser-AI i tre størrelser (4B/9B/27B) som scorer 72% på Online-Mind2Web og slår OpenAI Operator med 14 prosentpoeng. Her er hva du trenger å vite om treningsdataen, FaraGen1.5-pipelinen og tilgjengeligheten.
OpenAI motbeviser 60 år gammel matematisk konjektur med reasoning-modell
OpenAI hevder en reasoning-modell har funnet et moteksempel til Erdős planar unit-distance-konjekturen – en 60 år gammel øvre grense som ingen hadde klart å motbevise. Beviset er publisert åpent og venter på uavhengig verifisering.